Navegar

Colección

Datos Estadísticas

Lista de

2012
1374
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