![](/img/cover-not-exists.png)
From Counterexamples to Incremental Interactive Tracing of Errors
Weitl, Franz, Nakajima, Shin, Freitag, BurkhardVolume:
52
Language:
english
Journal:
it - Information Technology
DOI:
10.1524/itit.2010.0606
Date:
January, 2010
File:
PDF, 159 KB
english, 2010