Theses
People
About us
Projects
Publications
Courses
Jobs
Theses
Impressum
Location
Status
Art
Name
open
Diploma/Master thesis
Path-Slicing for Java
open
Diploma/Master thesis
Point-To analysis with Isabelle
open
Diploma/Master thesis
Simplifying temporal path conditions
open
Diploma/Master thesis
Testdatagenerator for C
open
Studien thesis
Extending a C++ semantics with arrays
Current Theses
Finished/Outdated Theses
IPD-Web - developed 2002-2008 ver 2.0 @
IPD Goos
,
IPD Tichy
,
ITM Zitterbart
,
IPD Snelting
