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
