The DynAlloy Visualizer

TitleThe DynAlloy Visualizer
Publication TypeConference Paper
Year of Publication2013
AuthorsBendersky, P, Galeotti, JP, Garbervetsky, D
Conference Name1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13
Date Published08/2013
Work Package: 
WP2