ETH Zurich :
Computer Science :
Pervasive Computing :
Distributed Systems :
BibTeX Entry 'vogt98bytecode'
author = "Joachim Posegga and Harald Vogt",
title = "Java Bytecode Verification Using Model Checking",
year = "1998",
booktitle = "Formal Underpinnings of Java Workshop at OOPSLA",
address = "Vancouver, Canada"
The above is an automatically generated BibTeX-entry for the publication
below. Please let the author(s) know if you find any mistakes.