Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/zum/1989,
  editor       = {John E. Nicholls},
  title        = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8},
  doi          = {10.1007/978-1-4471-3877-8},
  isbn         = {978-3-540-19627-3},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Benjamin89,
  author       = {M. Benjamin},
  editor       = {John E. Nicholls},
  title        = {A Message Passing System. An example of combining {CSP} and {Z}},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {221--228},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_15},
  doi          = {10.1007/978-1-4471-3877-8\_15},
  timestamp    = {Mon, 24 Jun 2019 15:55:03 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Benjamin89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Brownbridge89,
  author       = {David R. Brownbridge},
  editor       = {John E. Nicholls},
  title        = {Using {Z} to Develop a {CASE} Toolset},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {142--149},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_9},
  doi          = {10.1007/978-1-4471-3877-8\_9},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Brownbridge89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Bryant89,
  author       = {Tony Bryant},
  editor       = {John E. Nicholls},
  title        = {Structured methodologies {\&} formal notations: Developing a framework
                  for synthesis and investigation},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {229--241},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_16},
  doi          = {10.1007/978-1-4471-3877-8\_16},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Bryant89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Cooper89,
  author       = {David Cooper},
  editor       = {John E. Nicholls},
  title        = {Educating Management in {Z}},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {192--194},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_13},
  doi          = {10.1007/978-1-4471-3877-8\_13},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Cooper89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/DickKC89,
  author       = {A. J. J. Dick and
                  Paul J. Krause and
                  J. Cozens},
  editor       = {John E. Nicholls},
  title        = {Computer Aided Transformation of {Z} into Prolog},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_5},
  doi          = {10.1007/978-1-4471-3877-8\_5},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/DickKC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/FlynnHB89,
  author       = {Mike Flynn and
                  Tim Hoverd and
                  David Brazier},
  editor       = {John E. Nicholls},
  title        = {Formaliser - An Interactive Support Tool for {Z}},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {128--141},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_8},
  doi          = {10.1007/978-1-4471-3877-8\_8},
  timestamp    = {Tue, 30 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/zum/FlynnHB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Gravell89,
  author       = {Andrew M. Gravell},
  editor       = {John E. Nicholls},
  title        = {Minimisation in Formal Specification and Design},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {32--45},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_3},
  doi          = {10.1007/978-1-4471-3877-8\_3},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Gravell89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Hayes89,
  author       = {Ian J. Hayes},
  editor       = {John E. Nicholls},
  title        = {A Generalisation of Bags in {Z}},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_7},
  doi          = {10.1007/978-1-4471-3877-8\_7},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Hayes89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/JohnsonS89,
  author       = {Michael Johnson and
                  Paul Sanders},
  editor       = {John E. Nicholls},
  title        = {From {Z} Specifications To Functional Implementations},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {86--112},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_6},
  doi          = {10.1007/978-1-4471-3877-8\_6},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/JohnsonS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/LanoB89,
  author       = {Kevin Lano and
                  Peter T. Breuer},
  editor       = {John E. Nicholls},
  title        = {From Programs to {Z} Specifications},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {46--70},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_4},
  doi          = {10.1007/978-1-4471-3877-8\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/LanoB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Nash89,
  author       = {T. C. Nash},
  editor       = {John E. Nicholls},
  title        = {Using {Z} to Describe Large Systems},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {150--178},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_10},
  doi          = {10.1007/978-1-4471-3877-8\_10},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Nash89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Oakley89,
  author       = {Brian Oakley},
  editor       = {John E. Nicholls},
  title        = {Opening address: The state of use of Formal Methods},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {1--5},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_1},
  doi          = {10.1007/978-1-4471-3877-8\_1},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Oakley89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Phillips89,
  author       = {Mark Phillips},
  editor       = {John E. Nicholls},
  title        = {{CICS/ESA} 3.1 Experiences},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {179--185},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_11},
  doi          = {10.1007/978-1-4471-3877-8\_11},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Phillips89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Smith89,
  author       = {Alf Smith},
  editor       = {John E. Nicholls},
  title        = {The Knuth-Bendix Completion Algorithm and Its Specification in {Z}},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {195--220},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_14},
  doi          = {10.1007/978-1-4471-3877-8\_14},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Smith89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/SpiveyS89,
  author       = {J. Michael Spivey and
                  Bernard Sufrin},
  editor       = {John E. Nicholls},
  title        = {Type Inference in {Z}},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {6--31},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_2},
  doi          = {10.1007/978-1-4471-3877-8\_2},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/SpiveyS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/Whitty89,
  author       = {Robin W. Whitty},
  editor       = {John E. Nicholls},
  title        = {Structural Metrics for {Z} Specifications},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {186--191},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_12},
  doi          = {10.1007/978-1-4471-3877-8\_12},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Whitty89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.