The DynAlloy Visualizer
| Title | The DynAlloy Visualizer |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Bendersky, P, Galeotti, JP, Garbervetsky, D |
| Editor | Aguirre, N, Ribeiro, L |
| Conference Name | {\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013} |
| Publisher | Open Publishing Association |
| DOI | 10.4204/EPTCS.139.6 |
Work Package:
WP2
