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
We use cookies to give you the best online experience. Please let us know if you agree to all of these cookies. To learn more view privacy and cookies policy.
