![]() |
@article{DBLP:journals/ase/BecksteinT97,
author = {Clemens Beckstein and
Gerhard Tobermann},
title = {Algorithmic Debugging and Hypothetical Reasoning},
journal = {Autom. Softw. Eng.},
volume = {4},
number = {2},
year = {1997},
pages = {151-178},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-12-04 by Michael Ley (ley@uni-trier.de)