Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML by
Material type:
Text; Literary form:
Not fiction
Publication details: 2011
Dissertation note: Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 11/28. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).