Tesis de grado Especificación de contratos de software con JML y Eiffel. Autor(es): Arrospide, Gabriel - Casella, Vanessa
Fecha de publicación: 2014
Institución: Universidad de la República