Percorrer por Assunto Software technology, Electrical engineering, Electronic engineering, Information engineering
Mostrando resultados 1-1 de 1.
| Data de publicação | Título | Autor(es) | Tipo |
|---|---|---|---|
| 2011 | Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder | Carlos A. L. Nunes; Ana C. R. Paiva | Artigo em Livro de Atas de Conferência Internacional |