Master Thesis MSTR-2004-05

BibliographySuwimonteerabuth, Dejvuth: Verifying Java Bytecode with the Moped Model Checker.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Master Thesis No. 5 (2004).
76 pages, english.

kein Abstract.

Department(s)University of Stuttgart, Institute of Software Technology, Software Reliability and Security
Superviser(s)Esparza, Prof. J.; Schwoon, Dr. S.
Entry dateMarch 3, 2020
   Publ. Computer Science