Computer Aided Verification More Books by Alexandra Silva & K. Rustan M. Leino

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2021
Language, Logic, and Computation Language, Logic, and Computation
Language, Logic, and Computation
2019
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2017