BibTeX record conf/icse/GoodenoughWK04

download as .bib file

@inproceedings{DBLP:conf/icse/GoodenoughWK04,
  author       = {John B. Goodenough and
                  Charles B. Weinstock and
                  Ari Z. Klein},
  title        = {Eliminative induction: a basis for arguing system confidence},
  booktitle    = {{ICSE}},
  pages        = {1161--1164},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}