Selected Publications
Research
Teaching
Science Management
Papers, Talks, CV
Modeling Companion for Software Practitioners
Egon Börger
,
Alexander Raschke
Springer Verlag,
2018
Printed
CS
Related
Abstract State Machines - A Method for High-Level System Design and Analysis
Java and the Java Virtual Machine — Definition, Verification, Validation
Cite
×