Publications

Filters: Author is Ribeiro, Leila [Clear All Filters]

2014

P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in {\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}, 2014.