Abstractions for Validation in Action

Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012
Download the publication : abstractions_for_validation_in_action.pdf [281Ko]  

BibTex references

@InProceedings\{DBGU12b,
  author       = "de Caso, Guido and Braberman, V\'{\i}ctor and Garbervetsky, Diego and Uchitel, Sebastian",
  title        = "Abstractions for Validation in Action",
  booktitle    = "Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering",
  series       = "SFM",
  pages        = "192--218",
  year         = "2012",
  url          = "http://publicaciones.dc.uba.ar/Publications/2012/DBGU12b"
}

Other publications in the database

» Guido de Caso
» Víctor Braberman
» Diego Garbervetsky
» Sebastian Uchitel