Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

António Ravara | lit.salon

António Ravara

A life in books

No biography is available for this author yet.

The catalog

Bibliography

3 works

Core (2)Core works (2)All (3)All contributions (3)

Search this bibliographySort bibliography

Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.

Behavioural Types: From Theory to Tools

2017

5 cataloged editions

shelves: 0
reviews: 0
lists: 0
quotes: 0

Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

2023

With Marieke Huisman

1 cataloged edition

shelves: 0
reviews: 0
lists: 0
quotes: 0

Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2016

With Thomas Hildebrandt, Jan Martijn van der Werf, Matthias Weidlich

2 cataloged editions

shelves: 0
reviews: 0
lists: 0
quotes: 0

End of results