Diploma Thesis DIP-2006-23
Bibliography
Berger, Felix
:
A test and verification environment for Java programs.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 23 (2006).
97 pages, english.
Abstract
kein Abstract.
Department(s)
University of Stuttgart, Institute of Software Technology, Software Reliability and Security
Superviser(s)
Esparza, Prof. Javier; Schwoon, Dr. Stefan
Entry date
June 8, 2021
Publ. Computer Science