Selected Publications
Research
Teaching
Science Management
Papers, Talks, CV
CS
Structures of Computing - A Guide to Practice-Oriented Theory
Modeling Companion for Software Practitioners
Abstract State Machines - A Method for High-Level System Design and Analysis
Java and the Java Virtual Machine — Definition, Verification, Validation
Cite
×