@inproceedings{Stum00n,
   author = {C.~Mateis AND M.~Stumptner AND D.~Wieland AND F.~Wotawa},
   booktitle = {{Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), Munich, Germany, 28-30 August 2000}},
   editor = {M.~Ducass\'e},
   title = {{Extended Abstract - Model-Based Debugging of Java Programs}},
   year = {2000}
}
back