Especificación de contratos de software con JML y Eiffel.
Supervisor(es): Vallespir, Diego - Moreno, Silvana
| 2014 | |
| Español | |
| Universidad de la República | |
| COLIBRI | |
| https://hdl.handle.net/20.500.12008/47082 | |
| Acceso abierto | |
| Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
| Descripción no disponible. |
