BibTeX record conf/cats/UttingMT09

download as .bib file

@inproceedings{DBLP:conf/cats/UttingMT09,
  author       = {Mark Utting and
                  Petra Malik and
                  Ian Toyn},
  editor       = {Rod Downey and
                  Prabhu Manyem},
  title        = {Transformation Rules for {Z}},
  booktitle    = {Theory of Computing 2009, Fifteenth Computing: The Australasian Theory
                  Symposium, {CATS} 2009, Wellington, New Zealand, January 2009},
  series       = {{CRPIT}},
  volume       = {94},
  pages        = {71--80},
  publisher    = {Australian Computer Society},
  year         = {2009},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV94Utting.html},
  timestamp    = {Mon, 08 Feb 2021 13:26:48 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/UttingMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics