DBLP Record 'conf/apsec/HartLMRKLRT96'

BibTeX

@inproceedings{DBLP:conf/apsec/HartLMRKLRT96,
  author    = {Tracey Hart and
               Fiona Linn and
               Roberto Morello and
               Greg Royle and
               Peter Kearney and
               Peter A. Lindsay and
               Kelvin J. Ross and
               Owen Traynor},
  title     = {Formal Methods Pilot Project},
  booktitle = {APSEC},
  year      = {1996},
  pages     = {238-245},
  ee        = {http://csdl.computer.org/comp/proceedings/apsec/1996/7638/00/76380238abs.htm},
  crossref  = {DBLP:conf/apsec/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apsec/1996,
  title     = {3rd Asia-Pacific Software Engineering Conference (APSEC
               '96), December 4-7, 1996, Seoul, South Korea},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}