Formal methods in software and systems modeling
Hartmut Ehrig
Details
OL Work ID
OL19596768W
Subjects
Computer systems
Formal methods (Computer science)
Design
Computer software
Find this book
Open Library
