Automated Technology for Verification and Analysis
Ahmed Bouajjani
Paperback
Not Available
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Com
Verification, Model Checking, and Abstract Interpretation