Master Thesis MSTR-2004-05
Bibliography
Suwimonteerabuth, 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.
Abstract
kein Abstract.
Department(s)
University of Stuttgart, Institute of Software Technology, Software Reliability and Security
Superviser(s)
Esparza, Prof. J.; Schwoon, Dr. S.
Entry date
March 3, 2020
Publ. Computer Science