Skip to content

Home Practice Lessons About

Stephan Merz

Books

Formal systems specification
Modeling and verification of real-time systems
Integrated Formal Methods
Modeling and Verification of Real-Time Systems
Temporal logic and state systems
Interactive Theorem Proving
Formal Methods and Software Engineering

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.