Fundamentals of debugging using a resolution calculus

Franz Wotawa, Daniel Köb

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

Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering
EditorsLuciano Baresi, Reiko Heckel
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages278-292
Volume3922
ISBN (Print)3-540-33093-3
DOIs
Publication statusPublished - 2006
EventInternational Conference on Fundamental Approaches to Software Engineering - Wien, Austria
Duration: 27 Mar 200628 Mar 2006

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Fundamental Approaches to Software Engineering
CountryAustria
CityWien
Period27/03/0628/03/06

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Wotawa, F., & Köb, D. (2006). Fundamentals of debugging using a resolution calculus. In L. Baresi, & R. Heckel (Eds.), Fundamental Approaches to Software Engineering (Vol. 3922, pp. 278-292). (Lecture Notes in Computer Science). Berlin [u.a.]: Springer. https://doi.org/10.1007/11693017_21

Fundamentals of debugging using a resolution calculus. / Wotawa, Franz; Köb, Daniel.

Fundamental Approaches to Software Engineering. ed. / Luciano Baresi; Reiko Heckel. Vol. 3922 Berlin [u.a.] : Springer, 2006. p. 278-292 (Lecture Notes in Computer Science).

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

Wotawa, F & Köb, D 2006, Fundamentals of debugging using a resolution calculus. in L Baresi & R Heckel (eds), Fundamental Approaches to Software Engineering. vol. 3922, Lecture Notes in Computer Science, Springer, Berlin [u.a.], pp. 278-292, International Conference on Fundamental Approaches to Software Engineering, Wien, Austria, 27/03/06. https://doi.org/10.1007/11693017_21
Wotawa F, Köb D. Fundamentals of debugging using a resolution calculus. In Baresi L, Heckel R, editors, Fundamental Approaches to Software Engineering. Vol. 3922. Berlin [u.a.]: Springer. 2006. p. 278-292. (Lecture Notes in Computer Science). https://doi.org/10.1007/11693017_21
Wotawa, Franz ; Köb, Daniel. / Fundamentals of debugging using a resolution calculus. Fundamental Approaches to Software Engineering. editor / Luciano Baresi ; Reiko Heckel. Vol. 3922 Berlin [u.a.] : Springer, 2006. pp. 278-292 (Lecture Notes in Computer Science).
@inproceedings{25aecd0b8add46c891750811f5725597,
title = "Fundamentals of debugging using a resolution calculus",
author = "Franz Wotawa and Daniel K{\"o}b",
year = "2006",
doi = "10.1007/11693017_21",
language = "English",
isbn = "3-540-33093-3",
volume = "3922",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "278--292",
editor = "Luciano Baresi and Reiko Heckel",
booktitle = "Fundamental Approaches to Software Engineering",

}

TY - GEN

T1 - Fundamentals of debugging using a resolution calculus

AU - Wotawa, Franz

AU - Köb, Daniel

PY - 2006

Y1 - 2006

U2 - 10.1007/11693017_21

DO - 10.1007/11693017_21

M3 - Conference contribution

SN - 3-540-33093-3

VL - 3922

T3 - Lecture Notes in Computer Science

SP - 278

EP - 292

BT - Fundamental Approaches to Software Engineering

A2 - Baresi, Luciano

A2 - Heckel, Reiko

PB - Springer

CY - Berlin [u.a.]

ER -