Stephan Merz

Books
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2016
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013
Temporal Logic and State Systems Temporal Logic and State Systems
Temporal Logic and State Systems
2008