António Ravara

Books that list António Ravara among their authors but not as the lead author: co-written works, collections and compilations.

Behavioural TypesSimon Gay

Behavioural Types

Simon Gay · 2017

Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman · 2023

Web Services, Formal Methods, and Behavioral TypesThomas Hildebrandt

Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt · 2016