"The DynAlloy visualizer" (2014) Bendersky, P.;Galeotti, J.P.;Garbervetsky, D. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:59-64
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400