Publications

Filters: Author is Pablo Bendersky [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.

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

2013

P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13, 2013.