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}
}
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.