-
-
Michael Tautschnig.
Query-Driven Program Testing.
PhD thesis, Vienna University of Technology, 2011.
[ bib |
.pdf ]
-
-
Michael Tautschnig.
Development of a tool to solve mixed logical/linear constraint
problems.
Master's thesis, Technische Universität München, February
2006.
[ bib |
.pdf ]
This file was generated by
bibtex2html 1.99.