Browsing by Author Busquim e Silva,RABE
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2016 | Formal Verification With Frama-C: A Case Study in the Space Software Domain | Busquim e Silva,RABE; Arai,NN; Burgareli,LA; Parente de Oliveira,JMP; Jorge Sousa Pinto |