The DynAlloy Visualizer

Proceedings First Latin American Workshop on Formal Methods, page 59-64 - 2013
Download the publication : bendersky-lafm-2013.pdf [393Ko]  

BibTex references

@Article\{BGG13,
  author       = "Bendersky, Diego and Galeotti, Juan Pablo and Garbervetsky, Diego",
  title        = "The DynAlloy Visualizer",
  journal      = "Proceedings First Latin American Workshop on Formal Methods",
  pages        = "59-64",
  year         = "2013",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/BGG13"
}

Other publications in the database

» Diego Bendersky
» Juan Pablo Galeotti
» Diego Garbervetsky