International Conference of Z Users

ID:DA09310084

Alias Name

Conference of Z Users, International

ZUM

Related Author Name

Z User Workshop

International Conference of B and Z Users

Search authors sharing the same name

Search Results1-3 of 3

1

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

Springer c1998 Lecture notes in computer science 1493

Available at 37 libraries
2

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

Springer c1997 Lecture notes in computer science 1212

Available at 48 libraries
3

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

Jonathan P. Bowen, Michael G. Hinchey (eds.)

Springer c1995 Lecture notes in computer science 967

Available at 50 libraries

Search this author

Related Authors