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

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationProgramming Languages
Place of PublicationHeidelberg [u.a.]
PublisherSpringer Verlag
Pages6-11
Volume7554
ISBN (Print)978-3-642-33181-7
DOIs
Publication statusPublished - 2012
EventBrazilian Symposium on Programming Languages - Natal, Brazil
Duration: 23 Sept 201227 Sept 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceBrazilian Symposium on Programming Languages
Country/TerritoryBrazil
CityNatal
Period23/09/1227/09/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this