Navegar

Colección

Datos Estadísticas

Lista de

Garbervetsky, Diego
30
IEEE Transactions on Software Engineering
1
"Automated abstractions for contract validation" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. IEEE Transactions on Software Engineering. 38(1):141-162