@conference {94,
	title = {The DynAlloy Visualizer},
	booktitle = {1st Latin American  Workshop on Formal Methods (LAFM 2013), co-located with Concur{\textquoteright}13},
	year = {2013},
	month = {08/2013},
	author = {Pablo Bendersky and Juan Pablo Galeotti and Diego Garbervetsky}
}