Browsing by Advisor Faria, José Miguel
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| 2009 | Towards a formally designed and verified embedded operating system: case study using the B method | Passos, André Brito | masterThesis |  |
| 2010 | Towards a formally verified microkernel using the VCC verifier | Tojal, Joaquim José e Silva de Carvalho | masterThesis | |
