The Science of Killing Bugs in a Black Box - (Keynote Talk)

Bernhard Aichernig

doi:10.1007/978-3-642-33182-4_2

The Science of Killing Bugs in a Black Box - (Keynote Talk)

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	Programming Languages
Place of Publication	Heidelberg [u.a.]
Publisher	Springer Verlag
Pages	6-11
Volume	7554
ISBN (Print)	978-3-642-33181-7
DOIs	https://doi.org/10.1007/978-3-642-33182-4_2
Publication status	Published - 2012
Event	Brazilian Symposium on Programming Languages - Natal, Brazil Duration: 23 Sep 2012 → 27 Sep 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag

Conference

Conference	Brazilian Symposium on Programming Languages
Country/Territory	Brazil
City	Natal
Period	23/09/12 → 27/09/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.1007/978-3-642-33182-4_2

Cite this

@inproceedings{b4fe6280f0614befb34ff80c34df650e,

title = "The Science of Killing Bugs in a Black Box - (Keynote Talk)",

author = "Bernhard Aichernig",

year = "2012",

doi = "10.1007/978-3-642-33182-4_2",

language = "English",

isbn = "978-3-642-33181-7",

volume = "7554",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "6--11",

booktitle = "Programming Languages",

address = "Germany",

note = "Brazilian Symposium on Programming Languages ; Conference date: 23-09-2012 Through 27-09-2012",

}

TY - GEN

T1 - The Science of Killing Bugs in a Black Box - (Keynote Talk)

AU - Aichernig, Bernhard

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-33182-4_2

DO - 10.1007/978-3-642-33182-4_2

M3 - Conference paper

SN - 978-3-642-33181-7

VL - 7554

T3 - Lecture Notes in Computer Science

SP - 6

EP - 11

BT - Programming Languages

PB - Springer Verlag

CY - Heidelberg [u.a.]

T2 - Brazilian Symposium on Programming Languages

Y2 - 23 September 2012 through 27 September 2012

ER -