On the use of Specification Knowledge in Program Debugging

Mihai Nica, Jörg Weber, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publication20th International Workshop on Principles of Diagnosis
Place of PublicationLinKöping
PublisherLinKöping Univeristy- Institute of Technology
Pages35-42
Publication statusPublished - 2009
EventInternational Workshop on Principles of Diagnosis - Carcassonne, France
Duration: 23 Jun 200425 Jun 2004

Conference

ConferenceInternational Workshop on Principles of Diagnosis
Country/TerritoryFrance
CityCarcassonne
Period23/06/0425/06/04

Treatment code (Nähere Zuordnung)

  • Experimental
  • Theoretical

Cite this