Selected Publications
Research
Teaching
Science Management
Papers, Talks, CV
Abstract State Machines - A Method for High-Level System Design and Analysis
Egon Börger
,
Robert Stärk
Springer Verlag,
2003
Printed
CS
Related
Java and the Java Virtual Machine — Definition, Verification, Validation
Cite
×