Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th Z User Workshop 1991: York, UK
- John E. Nicholls:
Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing, Springer 1992, ISBN 3-540-19780-X
Theoretical Foundations
- Alf Smith:
On Recursive Free Types in Z. Z User Workshop 1991: 3-39 - R. D. Arthan:
On Free Type Definitions in Z. Z User Workshop 1991: 40-58 - Antoni Diller:
Z and Hoare Logics. Z User Workshop 1991: 59-76 - J. C. P. Woodclock, S. M. Brien:
W: A Logic for Z. Z User Workshop 1991: 77-96
Scope of Use
- Rosalind Barden, Susan Stepney, David Cooper:
The Use of Z. Z User Workshop 1991: 99-124 - Paul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan:
Extending the Useful Application Domain for Formal Methods. Z User Workshop 1991: 125-144 - John E. Nicholls:
Domains of Application for Formal Methods. Z User Workshop 1991: 145-156 - Samuel H. Valentine:
Z--, an Executable Subset of Z. Z User Workshop 1991: 157-187
Special Applications
- Michael Harrison:
Engineering Human-Error Tolerant Software. Z User Workshop 1991: 191-204 - Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop 1991: 205-219
Tools
- Mark Saaltink:
Z and Eves. Z User Workshop 1991: 223-242 - Dave Neilson, Divya Prasad:
zedB: A Proof Tool for Z Built on B. Z User Workshop 1991: 243-258
Structured Methods and Object-Oriented Approaches
- Roberto Souto Maior de Barros, David J. Harper:
A Method for the Specification of Relational Database Applications. Z User Workshop 1991: 261-286 - Fiona Polack, Mark Whiston, Peter Hitchcock:
Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop 1991: 287-328 - David J. Duke:
Enhancing the Structure of Z Specifications. Z User Workshop 1991: 329-351 - David A. Carrington:
ZOOM Workshop Report. Z User Workshop 1991: 352-364
Bibliography etc
- Jonathan P. Bowen:
Select Z Bibliography and Frequently Asked Questions. Z User Workshop 1991: 367-401
a service of 
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 2024-04-19 19:17 CEST 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:
