Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author/Editor | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Podelski, Andreas Charatonik, Witold Müller, Martin | 1999 | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Proceedings Article | |||||
Rybalchenko, Andrey | 2002 | A Model Checker based on Abstraction Refinement Universität des Saarlandes | Thesis - Master's thesis | |||||
Wies, Thomas | 2004 | Symbolic Shape Analysis Universität des Saarlandes | Thesis - Master's thesis | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|