Franz Weitl, Shin Nakajima and Burkhard Freitag

From Counterexamples to Incremental Interactive Tracing of Errors

Schrittweise Fehleranalyse auf der Grundlage von Model-Checking

Accessible
Requires Authentication
Oldenbourg Wissenschaftsverlag GmbH | Published online: September 13, 2010