DBLP Record 'conf/aswec/ZucconiRRS96'

BibTeX

@inproceedings{DBLP:conf/aswec/ZucconiRRS96,
  author    = {Lin Zucconi and
               Greg Royle and
               Karl Reed and
               John Staples},
  title     = {Do Formal Methods Really Work?},
  booktitle = {Australian Software Engineering Conference},
  year      = {1996},
  pages     = {66-},
  ee        = {http://csdl.computer.org/comp/proceedings/aswec/1996/7635/00/76350066abs.htm},
  crossref  = {DBLP:conf/aswec/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aswec/1996,
  title     = {1996 Australian Software Engineering Conference (ASWEC '96),
                July 14-18, 1996, Melbourne, Australia},
  booktitle = {Australian Software Engineering Conference},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}