Fundamentals of debugging using a resolution calculus

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering
Editors	Luciano Baresi, Reiko Heckel
Place of Publication	Berlin [u.a.]
Publisher	Springer
Pages	278-292
Volume	3922
ISBN (Print)	3-540-33093-3
DOIs	https://doi.org/10.1007/11693017_21
Publication status	Published - 2006
Event	International Conference on Fundamental Approaches to Software Engineering - Wien, Austria Duration: 27 Mar 2006 → 28 Mar 2006

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference	International Conference on Fundamental Approaches to Software Engineering
Country	Austria
City	Wien
Period	27/03/06 → 28/03/06

Treatment code (Nähere Zuordnung)

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

@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 -