Looking for a library? Show libraries matching your search.

Formal Methods in...

David Leite Viana Editor
Franklim Morais Editor
(2018)

Formal Methods in...

Catarina Ruivo Editor
David Leite Viana Editor
(2021)

Emerging Perspectives on...

David Leite Viana Editor
Emílio da Cruz Brandão Editor
(2023)