Home » Web Programming and Development » Programming Languages » Z

Z - Web Development Services Directory

• The Zuser Group
  
  The main activity of the committee members is to organize and act as programme committee for the International Conference of Z Users also known as the Z User Meeting, hence the acronym The last meeting, ZB2000, was held in York, UK, 29 August 2 Sept ...
  http://archive.comlab.ox.ac.uk/z/zug.html

• Virtuallibrary The Z Notation
  
  I have created a new Formal Methods Wiki under formalmethods.wikia This includes new versions of the Virtual Library?formal methods VLfm pages, that are unfortunately now offline due to a disk error. These pages are now editable by anyone, so I am ho ...
  http://formalmethods.wikia.com/wiki/Z

• The User Meeting ZUM
  
  The programme committee invited authors to submit papers on or related to the formal specification notation Z and associated methods such as the BMethod, in particular, and also formal methods in general, for presentation and inclusion in the publ ...
  http://archive.comlab.ox.ac.uk/z/zum95.html