Looking for a library? Show libraries matching your search.

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)