Search

You searched for: Auteur Antonio, Ravara Remove constraint Auteur: Antonio, Ravara
1 - 2 of 2
Number of results to display per page

Search Results

1. Web Services, Formal Methods, and Behavioral Types
thumbnail
Full text!
Author:
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich; Antonio, Ravara; Ravara, António; van der Werf, Jan Martijn; Weidlich, Matthias
Publisher:
Springer International Publishing 2016
Format:
e-book
2. 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,
thumbnail
Full text!
Author:
Huisman, Marieke.; Ravara, António
Publisher:
Cham Springer 2023
Format:
e-book