SchumannFWW03'

BibTeX

@inproceedings{DBLP:conf/hicss/SchumannFWW03,
  author    = {Johann Schumann and
               Bernd Fischer 0002 and
               Michael W. Whalen and
               Jon Whittle},
  title     = {Certification Support for Automatically Generated Programs},
  booktitle = {HICSS},
  year      = {2003},
  pages     = {337},
  ee        = {http://computer.org/proceedings/hicss/1874/track9/187490337aabs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}