Publications

Structures of Computing - A Guide to Practice-Oriented Theory

Egon Börger, Vincenzo Gervasi

Modeling Companion for Software Practitioners

Egon Börger, Alexander Raschke

Abstract State Machines - A Method for High-Level System Design and Analysis

Egon Börger, Robert Stärk

Java and the Java Virtual Machine — Definition, Verification, Validation

Robert Stärk, Joachim Schmid, Egon Börger

The Classical Decision Problem

Egon Börger, Erich Grädel, Yuri Gurevich

Computability, Complexity, Logic

Egon Börger