Percorrer por assunto JML-based strategy
Mostrar resultados 1-1 de 1.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 2009 | A JML-Based strategy for incorporating formal specifications into the software development process | Pestana, João Miguel Alves | masterThesis | ![]() |


