IAGen - Invariants-Assertion-Generation

Studiengang
Informatik
Art der Arbeit
Bachelorarbeit
Verfasser/in
Frederick Martin Egli
Dominik Mengelt
Referent/in
Thomas Letsch
Experte
Dr. Martin Zimmermann / FH Offenburg, Offenburg
Jahr
2012
Arbeit als PDF
zurück