António Ravara

Books
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2023
Behavioural Types Behavioural Types
Behavioural Types
2022
Web Services, Formal Methods, and Behavioral Types Web Services, Formal Methods, and Behavioral Types
Web Services, Formal Methods, and Behavioral Types
2016