Google
 
   
Login
Username:

Password:


Lost Password?

Register now!
Search
Main Menu
top books
Polls
What do you think about php-deluxe.net?
Excellent!
Cool
Hmm..not bad
What the hell is this?
encyclopedia
recommendation
compare webbrowser
Freenet DSL
Who's Online
4 user(s) are online (2 user(s) are browsing encyclopedia)

Members: 0
Guests: 4

more...
browser tip
Unix Befehle
manual of unix befehle
recommendation!
Sponsored
partner

Z User Group

The Z User Group (ZUG) supports the use of the Z notation, especially through the organization of conferences. The group was constituted on 14 December 1992 in London. The initial Chair was John Nicholls. ZUG s Chair is currently Jonathan Bowen.

=See also=

  • Z notation
  • Formal methods
  • = External links =

    *[http://www.zuser.org/ Z User Group] *[http://www.zuser.org/zum/ Z User Meetings] *[http://www.zuser.org/constitution.html ZUG constitution] *[http://vl.zuser.org/ Z notation]