The DynAlloy Visualizer
| Title | The DynAlloy Visualizer |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Bendersky, P, Galeotti, JP, Garbervetsky, D |
| Conference Name | 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13 |
| Date Published | 08/2013 |
Work Package:
WP2
