Browsing "PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO" by Subject Java Modeling Language - JML
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 15-Mar-2013 | Uma técnica para verificar não conformidades em programas especificados com contratos. | OLIVEIRA, Catuxe Varjão de Santana. |