BibTeX record conf/zum/PolackWH91

download as .bib file

@inproceedings{DBLP:conf/zum/PolackWH91,
  author    = {Fiona Polack and
               Mark Whiston and
               Peter Hitchcock},
  editor    = {John E. Nicholls},
  title     = {Structured Analysis - {A} Draft Method for Writing {Z} Specifications},
  booktitle = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series    = {Workshops in Computing},
  pages     = {287--328},
  publisher = {Springer},
  year      = {1991},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/conf/zum/PolackWH91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics