Joachim Schmid (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

7 Robert F. Stärk, Joachim Schmid: Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. J. Autom. Reasoning 30(3-4): 323-361 (2003)

6 Robert F. Stärk, Joachim Schmid, Egon Börger: Java and the Java Virtual Machine: Definition, Verification, Validation Springer 2001

Selection of 2 from 8 records - Joachim Schmid has 4 coauthors

7		Robert F. Stärk, Joachim Schmid: Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. J. Autom. Reasoning 30(3-4): 323-361 (2003)
6		Robert F. Stärk, Joachim Schmid, Egon Börger: Java and the Java Virtual Machine: Definition, Verification, Validation Springer 2001