Stephan Merz

الكتب
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٦
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
٢٠١٣
Temporal Logic and State Systems Temporal Logic and State Systems
Temporal Logic and State Systems
٢٠٠٨