ETH Zurich : Computer Science : Pervasive Computing : Distributed Systems : Publications : BibTeX Entry

BibTeX Entry 'vogt98bytecode'

@inproceedings{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.

• Joachim Posegga, Harald Vogt
  Java Bytecode Verification Using Model Checking.
  Formal Underpinnings of Java Workshop at OOPSLA. Vancouver, Canada, 1998
  BibTeX, Paper (.pdf)