👤

Stephan Merz

2 books

Books by Stephan Merz

Modeling and verification of real-time systems
Modeling and verification of real-time systems
2008
Formal systems specification
Formal systems specification
1996