TSE: Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , Automated Abstractions for Contract Validation

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Automated Abstractions for Contract Validation", Transactions on Software Engineering, Volume 38, Number 1, page 141-162, 2012

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

Undefined