Percorrer por assunto Java
Mostrar resultados 1-3 de 3.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 14-Nov-2014 | Code generation for event-B | Rivera Zúñiga, Victor Alfonso | doctoralThesis | ![]() |
| 2009 | JML- Based formal development of a Java card application for managing medical appointments | Rodrigues, Ricardo Miguel Soares | masterThesis | ![]() |
| 2009 | A JML-Based strategy for incorporating formal specifications into the software development process | Pestana, João Miguel Alves | masterThesis | ![]() |


