Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.

Andreas Podelski, Witold Charatonik, Martin Mller

Browse the full ESOP paper archive.