default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th Z User Workshop 1989: Oxford, UK
- John E. Nicholls:
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989. Workshops in Computing, Springer 1990, ISBN 978-3-540-19627-3 - Brian Oakley:
Opening address: The state of use of Formal Methods. 1-5 - J. Michael Spivey, Bernard Sufrin:
Type Inference in Z. 6-31 - Andrew M. Gravell:
Minimisation in Formal Specification and Design. 32-45 - Kevin Lano, Peter T. Breuer
:
From Programs to Z Specifications. 46-70 - A. J. J. Dick, Paul J. Krause, J. Cozens:
Computer Aided Transformation of Z into Prolog. 71-85 - Michael Johnson, Paul Sanders:
From Z Specifications To Functional Implementations. 86-112 - Ian J. Hayes:
A Generalisation of Bags in Z. 113-127 - Mike Flynn, Tim Hoverd, David Brazier:
Formaliser - An Interactive Support Tool for Z. 128-141 - David R. Brownbridge:
Using Z to Develop a CASE Toolset. 142-149 - T. C. Nash:
Using Z to Describe Large Systems. 150-178 - Mark Phillips:
CICS/ESA 3.1 Experiences. 179-185 - Robin W. Whitty:
Structural Metrics for Z Specifications. 186-191 - David Cooper:
Educating Management in Z. 192-194 - Alf Smith:
The Knuth-Bendix Completion Algorithm and Its Specification in Z. 195-220 - M. Benjamin:
A Message Passing System. An example of combining CSP and Z. 221-228 - Tony Bryant:
Structured methodologies & formal notations: Developing a framework for synthesis and investigation. 229-241
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.
last updated on 2025-03-29 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
