Oliveira, Vinícius José de
8  Ergebnisse:
Personensuche X
?
3

Formal methods: foundations and applications 

12th Brazilian Symposium on Formal Methods, SBMF 2009, Gram...  Lecture notes in computer science ; 5902
 
?
8

Asymmetry as a Foundational and Functional Requirement in H.. 

SpringerBriefs in Applied Sciences and Technology
Afonso, José ; Bessa, Cristiana ; Pinto, Filipe... - 1st ed. 2020 . , 2020
 
1-8