Stephan Merz

도서
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년