Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) | Type |
|---|---|---|---|
| 2010 | A tool for automatic model extraction of Ada/SPARK programs | André Carvalho; Nuno Silva; Simão Melo de Sousa; Nelma Moreira | Capítulo ou Parte de Relatório |
Discover
Document Type