Possum: An Animator for the SUM Specification Language

Daniel Hazel, Paul A. Strooper, Owen Traynor. Possum: An Animator for the SUM Specification Language. In 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong. pages 42-51, IEEE Computer Society, 1997. [doi]

@inproceedings{HazelST97,
  title = {Possum: An Animator for the SUM Specification Language},
  author = {Daniel Hazel and Paul A. Strooper and Owen Traynor},
  year = {1997},
  url = {http://csdl.computer.org/comp/proceedings/apsec/1997/8271/00/82710042abs.htm},
  researchr = {https://researchr.org/publication/HazelST97},
  cites = {0},
  citedby = {0},
  pages = {42-51},
  booktitle = {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},
  isbn = {0-8186-8271-X},
}