Coordination Models and Languages 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTe
Maurice H. ter Beek
Paperback
Not Available
Formal Methods for Industrial Critical Systems
Formal Methods – The Next 30 Years
From Software Engineering to Formal Methods and Tools, and Back