 |
|
- Berger, Felix: A test and verification environment for Java programs, Diplomarbeit Nr. 23, 2006.
- Bischoff, Bastian: Wortbegrenzung unter Involution, Diplomarbeit Nr. 3095, 2010.
- Heinemann, Lars: Unit testing in a large scale development environment, Diplomarbeit Nr. 4, 2005.
- Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diplomarbeit Nr. 2284, 2005.
- Sieweck, Philipp: SAT Solving mit GPU Unterstützung, Diplomarbeit Nr. 3289, 2012.
- Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diplomarbeit Nr. 3094, 2010.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum