@conference {325,
	title = {The DynAlloy Visualizer},
	booktitle = {{\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}},
	year = {2014},
	publisher = {Open Publishing Association},
	organization = {Open Publishing Association},
	doi = {10.4204/EPTCS.139.6},
	author = {Pablo Bendersky and Juan Pablo Galeotti and Diego Garbervetsky},
	editor = {Nazareno Aguirre and Ribeiro, Leila}
}