4th AADEBUG 2000:
: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000
Articles with demonstration
: Assertion checker for the C programming language based on computations over event traces.
: Collecting Graphical Abstract Views of Mercury Program Executions.