Search dblp for Publications

export results for "toc:db/conf/zum/zum1991.bht:"

 download as .bib file

@proceedings{DBLP:conf/zum/1991,
  editor       = {John E. Nicholls},
  title        = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1992},
  isbn         = {3-540-19780-X},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Arthan91,
  author       = {R. D. Arthan},
  editor       = {John E. Nicholls},
  title        = {On Free Type Definitions in {Z}},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {40--58},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Arthan91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/BardenSC91,
  author       = {Rosalind Barden and
                  Susan Stepney and
                  David Cooper},
  editor       = {John E. Nicholls},
  title        = {The Use of {Z}},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {99--124},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/BardenSC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/BarrosH91,
  author       = {Roberto Souto Maior de Barros and
                  David J. Harper},
  editor       = {John E. Nicholls},
  title        = {A Method for the Specification of Relational Database Applications},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {261--286},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Mon, 24 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/BarrosH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bowen91,
  author       = {Jonathan P. Bowen},
  editor       = {John E. Nicholls},
  title        = {Select {Z} Bibliography and Frequently Asked Questions},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {367--401},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Bowen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Carrington91,
  author       = {David A. Carrington},
  editor       = {John E. Nicholls},
  title        = {{ZOOM} Workshop Report},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {352--364},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Wed, 25 Jun 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Carrington91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Diller91,
  author       = {Antoni Diller},
  editor       = {John E. Nicholls},
  title        = {Z and Hoare Logics},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {59--76},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Diller91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Duke91,
  author       = {David J. Duke},
  editor       = {John E. Nicholls},
  title        = {Enhancing the Structure of {Z} Specifications},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {329--351},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Duke91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Harrison91,
  author       = {Michael Harrison},
  editor       = {John E. Nicholls},
  title        = {Engineering Human-Error Tolerant Software},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {191--204},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Harrison91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/NeilsonP91,
  author       = {Dave Neilson and
                  Divya Prasad},
  editor       = {John E. Nicholls},
  title        = {zedB: {A} Proof Tool for {Z} Built on {B}},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {243--258},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/NeilsonP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Nicholls91,
  author       = {John E. Nicholls},
  editor       = {John E. Nicholls},
  title        = {Domains of Application for Formal Methods},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {145--156},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Nicholls91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/PolackWH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Saaltink91,
  author       = {Mark Saaltink},
  editor       = {John E. Nicholls},
  title        = {Z and Eves},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {223--242},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Saaltink91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Smith91,
  author       = {Alf Smith},
  editor       = {John E. Nicholls},
  title        = {On Recursive Free Types in {Z}},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {3--39},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Smith91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/SwatmanFG91,
  author       = {Paul A. Swatman and
                  Danielle C. Fowler and
                  C. Y. Michael Gan},
  editor       = {John E. Nicholls},
  title        = {Extending the Useful Application Domain for Formal Methods},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {125--144},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Thu, 29 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/SwatmanFG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Valentine91,
  author       = {Samuel H. Valentine},
  editor       = {John E. Nicholls},
  title        = {Z--, an Executable Subset of {Z}},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {157--187},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/Valentine91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/WoodclockB91,
  author       = {J. C. P. Woodclock and
                  S. M. Brien},
  editor       = {John E. Nicholls},
  title        = {{W:} {A} Logic for {Z}},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {77--96},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Fri, 21 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/WoodclockB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/ZaveJ91,
  author       = {Pamela Zave and
                  Michael Jackson},
  editor       = {John E. Nicholls},
  title        = {Techniques for Partial Specification and Specification of Switching
                  Systems},
  booktitle    = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
  series       = {Workshops in Computing},
  pages        = {205--219},
  publisher    = {Springer},
  year         = {1991},
  timestamp    = {Mon, 05 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/ZaveJ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.