Author

António Ravara

3 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

3 books
Behavioural Types

Behavioural Types

Year unknown Simon Gay and António Ravara
Formal Techniques for Distributed...

Formal Techniques for Distributed Objects, Components, and Systems

Year unknown Marieke Huisman and António Ravara
Web Services, Formal Methods, and...

Web Services, Formal Methods, and Behavioral Types

Year unknown Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich

Fetched from OpenLibrary. Some translations may appear as separate works.