• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 1993
• 
  Jonathan P. Bowen, John E. Nicholls:
  Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, Springer 1993, ISBN 3-540-19818-0 [contents]
• 1992
• 
  Rosalind Barden, Susan Stepney:
  Support for Using Z. Z User Workshop 1992: 255-280
• 
  Jonathan P. Bowen:
  Select Z Bibliography. Z User Workshop 1992: 309-341
• 
  Jonathan P. Bowen:
  Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1992: 342-347
• 
  Andrew Bradley:
  Reqirements for Defence Standard 00-55. Z User Workshop 1992: 93-94
• 
  Andrew Charles Coombes, John A. McDermid:
  Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130
• 
  Dan Craigen, Susan L. Gerhart, Ted Ralston:
  An International Survey of Industrial Applications of Formal Methods. Z User Workshop 1992: 1-5
• 
  Elspeth Cusack:
  Using Z in Communications Engineering. Z User Workshop 1992: 196-202
• 
  Elspeth Cusack, Clazien D. Wezeman:
  Deriving Tests for Objects Specified in Z. Z User Workshop 1992: 180-195
• 
  Christine Draper:
  Practical Experiences of Z and SSADM. Z User Workshop 1992: 240-251
• 
  Ian J. Hayes, Luke Wildman:
  Towards Libraries for Z. Z User Workshop 1992: 37-51
• 
  Jonathan Jacky:
  Formal Specification and Development of Control System Input/Output. Z User Workshop 1992: 95-108
• 
  John C. Knight, Darrell M. Kienzle:
  Preliminary Experience Using Z to Specify a Safety-Critical System. Z User Workshop 1992: 109-118
• 
  Kevin Lano, Howard P. Haughton:
  Reuse and Adaptation of Z Specifications. Z User Workshop 1992: 62-90
• 
  Matthew Love:
  Animating Z Specifications in SQL*Forms 3.0. Z User Workshop 1992: 294-306
• 
  Ian Maung, John Howse:
  Introducing Hyper-Z - A New Approach to Object Orientation in Z. Z User Workshop 1992: 149-165
• 
  John E. Nicholls:
  Plain Guide to the Z Base Standard. Z User Workshop 1992: 52-61
• 
  Glyn Normington:
  Cleanroom and Z. Z User Workshop 1992: 281-293
• 
  G.-H. Bagherzadeh Rafsanjani, S. J. Colwill:
  From Object-Z to C++: A Structural Mapping. Z User Workshop 1992: 166-179
• 
  Alastair R. Ruddle:
  Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. Z User Workshop 1992: 131-146
• 
  Paul A. Swatman:
  Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. Z User Workshop 1992: 205-239
• 
  Samuel H. Valentine:
  Putting Numbers into the Mathematical Toolkit. Z User Workshop 1992: 9-36