Egon Börger

Java and the Java Virtual Machine: Definition, Verification, ...

Robert F. Stärk & Joachim Schmid & Egon Börger