Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
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.