SFM 2012: Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , Abstractions for Validation in Action

This work is published in the Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012

http://publicaciones.dc.uba.ar/Publications/2012/DBGU12b/

Undefined