The SCEAS System
Navigation Menu

Conferences in DBLP

Z Users Conference (ZUM) (zum)
1991 (conf/zum/1991)

  1. Alf Smith
    On Recursive Free Types in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:3-39 [Conf]
  2. R. D. Arthan
    On Free Type Definitions in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:40-58 [Conf]
  3. Antoni Diller
    Z and Hoare Logics. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:59-76 [Conf]
  4. J. C. P. Woodclock, S. M. Brien
    W: A Logic for Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:77-96 [Conf]
  5. Rosalind Barden, Susan Stepney, David Cooper
    The Use of Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:99-124 [Conf]
  6. Paul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan
    Extending the Useful Application Domain for Formal Methods. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:125-144 [Conf]
  7. J. E. Nicholls
    Domains of Application for Formal Methods. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:145-156 [Conf]
  8. Samuel H. Valentine
    Z--, an Executable Subset of Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:157-187 [Conf]
  9. Michael Harrison
    Engineering Human-Error Tolerant Software. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:191-204 [Conf]
  10. Pamela Zave, Michael Jackson
    Techniques for Partial Specification and Specification of Switching Systems. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:205-219 [Conf]
  11. Mark Saaltink
    Z and Eves. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:223-242 [Conf]
  12. Dave Neilson, Divya Prasad
    zedB: A Proof Tool for Z Built on B. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:243-258 [Conf]
  13. Roberto Souto Maior de Barros, David J. Harper
    A Method for the Specification of Relational Database Applications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:261-286 [Conf]
  14. Fiona Polack, Mark Whiston, Peter Hitchcock
    Structured Analysis - A Draft Method for Writing Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:287-328 [Conf]
  15. David J. Duke
    Enhancing the Structure of Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:329-351 [Conf]
  16. David A. Carrington
    ZOOM Workshop Report. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:352-364 [Conf]
  17. Jonathan P. Bowen
    Select Z Bibliography and Frequently Asked Questions. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:367-401 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002