default search action

• combined dblp search
• author search
• venue search
• publication search
• Semantic Scholar search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• MS Academic
• CiteSeerX
• CORE
• Semantic Scholar

Z User Group

since 2008: ZUM merged with the International Workshop on Abstract State Machines (ASM) to form ABZ

• 
  Alexander Raschke, Dominique Méry, Frank Houdek:
  Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Lecture Notes in Computer Science 12071, Springer 2020, ISBN 978-3-030-48076-9 [contents]

• 
  Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl:
  Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7 [contents]
• 
  Maximiliano Cristiá, David Delahaye, Catherine Dubois:
  Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018. CEUR Workshop Proceedings 2199, CEUR-WS.org 2018 [contents]

• 
  Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró:
  Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Lecture Notes in Computer Science 9675, Springer 2016, ISBN 978-3-319-33599-5 [contents]

• 
  Yamine Aït Ameur, Klaus-Dieter Schewe:
  Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Lecture Notes in Computer Science 8477, Springer 2014, ISBN 978-3-662-43651-6 [contents]
• 
  Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
  ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings. Communications in Computer and Information Science 433, Springer 2014, ISBN 978-3-319-07511-2 [contents]

• 
  John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
  Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0 [contents]

• 
  Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
  Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, ISBN 978-3-642-11810-4 [contents]

• 
  Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca:
  Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5238, Springer 2008, ISBN 978-3-540-87602-1 [contents]

• 
  Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider:
  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. Lecture Notes in Computer Science 3455, Springer 2005, ISBN 3-540-25559-1 [contents]

• 
  Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén:
  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. Lecture Notes in Computer Science 2651, Springer 2003, ISBN 3-540-40253-5 [contents]

• 
  Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson:
  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. Lecture Notes in Computer Science 2272, Springer 2002, ISBN 3-540-43166-7 [contents]

• 
  Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King:
  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 1878, Springer 2000, ISBN 3-540-67944-8 [contents]

• 
  Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey:
  ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Lecture Notes in Computer Science 1493, Springer 1998, ISBN 3-540-65070-9 [contents]

• 
  Jonathan P. Bowen, Michael G. Hinchey, David Till:
  ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Lecture Notes in Computer Science 1212, Springer 1997, ISBN 3-540-62717-0 [contents]

• 
  Jonathan P. Bowen, Michael G. Hinchey:
  ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings. Lecture Notes in Computer Science 967, Springer 1995, ISBN 3-540-60271-2 [contents]

• 
  Jonathan P. Bowen, J. Anthony Hall:
  Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Workshops in Computing, Springer/BCS 1994, ISBN 3-540-19884-9 [contents]

• 
  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]

• 
  John E. Nicholls:
  Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing, Springer 1992, ISBN 3-540-19780-X [contents]

• 
  John E. Nicholls:
  Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Workshops in Computing, Springer 1991, ISBN 3-540-19672-2 [contents]

• 
  John E. Nicholls:
  Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989. Workshops in Computing, Springer 1990, ISBN 978-3-540-19627-3 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from web.archive.org

Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.

Citation data

Add a list of citing articles from to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.

Tweets on dblp homepage

Show tweets from on the dblp homepage.

load tweets from twitter.com

Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.

 last updated on 2020-06-06 00:11 CEST by the dblp team

 all metadata released as open data under CC0 1.0 license 

see also: Terms of Use | Privacy Policy | Imprint

the dblp computer science bibliography is funded by: