DBLP Record 'conf/apsec/HazelST97'

BibTeX

@inproceedings{DBLP:conf/apsec/HazelST97,
  author    = {Daniel Hazel and
               Paul A. Strooper and
               Owen Traynor},
  title     = {Possum: An Animator for the SUM Specification Language},
  booktitle = {APSEC},
  year      = {1997},
  pages     = {42-51},
  ee        = {http://csdl.computer.org/comp/proceedings/apsec/1997/8271/00/82710042abs.htm},
  crossref  = {DBLP:conf/apsec/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apsec/1997,
  title     = {4th Asia-Pacific Software Engineering and International
               Computer Science Conference (APSEC '97 / ICSC '97), 2-5
               December 1997, Clear Water Bay, Hong Kong},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-8271-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}