ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
Lecture Notes in Computer Science, 2000, Volume 1878
ZB 2002:Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings
Didier Bert, Jonathan P. Bowen, Martin C. Henson and Ken Robinson
Lecture Notes in Computer Science, 2002, Volume 2272
ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
Didier Bert, Jonathan P. Bowen, Steve King and Marina Waldén
Lecture Notes in Computer Science, 2003, Volume 2651
ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
Helen Treharne, Steve King, Martin Henson and Steve Schneider
Lecture Notes in Computer Science, 2005, Volume 3455
Zugriffskontrolle in Geschäftsprozessen
Ein modellgetriebener Ansatz
Heiko Klarl
2011
ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
Jonathan P. Bowen and Michael G. Hinchey
Lecture Notes in Computer Science, 1995, Volume 967
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 and David Till
Lecture Notes in Computer Science, 1997, Volume 1212
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 and Michael G. Hinchey
Lecture Notes in Computer Science, 1998, Volume 1493