autores
- José Francisco Creissac Freitas de Campos
- Campos, José C.
- Manuel Resende Sousa
- Miriam C. Bergue Alves
- Harrison, Michael
Formal Verification of a Space System's User Interface With the IVY Workbench
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos