IAGen - Invariants-Assertion-Generation
Studiengang
Informatik
Art der Arbeit
Bachelorarbeit
Verfasser/in
Frederick Martin Egli
Dominik Mengelt
Dominik Mengelt
Referent/in
Thomas Letsch
Experte
Dr. Martin Zimmermann
/ FH Offenburg, Offenburg
Jahr
2012