抽象状态机、合金、B、TLA、VDM和Z（ABZ）国际会议
第9 ABZ 2023：法国南希
Uwe Glässer公司 , 何塞·克里萨克·坎波斯 , 多米尼克·梅里 
, 菲利普·帕兰克 :
严格的基于国家的方法——第九届国际会议，ABZ 2023，法国南希，2023年5月30日至6月2日，会议记录。 计算机科学课堂讲稿 14010, 施普林格 2023 ，国际标准图书编号 978-3-031-33162-6 [目录]
第8 ABZ 2021：德国乌尔姆
亚历山大·拉什克 , 多米尼克·梅里 :
严格的基于国家的方法——第八届国际会议，ABZ 2021，德国乌尔姆，2021年6月9日至11日，会议记录。 计算机科学课堂讲稿 12709, 施普林格 2021 ，国际标准图书编号 978-3-030-77542-1 [目录]
第七届ABZ 2020：德国乌尔姆
亚历山大·拉什克 , 多米尼克·梅里 , 弗兰克·霍德克 :
严格的基于国家的方法——第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日，会议记录。 计算机科学课堂讲稿 12071, 施普林格 2020 ，国际标准图书编号 978-3-030-48076-9 [目录]
2018年ABZ第6届：英国南安普顿
迈克尔·巴特勒 , 亚历山大·拉什克 , 泰国Son Hoang , 克劳斯·赖奇尔 :
抽象状态机、合金、B、TLA、VDM和Z-第六届国际会议，2018年ABZ，英国南安普敦，2018年6月5-8日，会议记录。 计算机科学课堂讲稿 10817, 施普林格 2018 ，国际标准图书编号 978-3-319-91270-7 [目录] 马克西米利亚诺·克里斯蒂亚 , 大卫·德拉哈耶 , 凯瑟琳·杜布瓦 :
与第六届国际ABZ会议共同举办的第三届套装和工具国际研讨会论文集， 设置@ABZ 2018年6月5日，英国南安普敦。 CEUR研讨会记录 2199, CEUR-WS.org公司 2018 [目录]
2016年ABZ第五届：奥地利林茨
迈克尔·巴特勒 , 克劳斯·迪特尔·斯奎 , 阿蒂夫·马斯科尔 , 米克洛斯·比罗 :
抽象状态机、合金、B、TLA、VDM和Z-第五届国际会议，ABZ 2016，奥地利林茨，2016年5月23日至27日，会议记录。 计算机科学课堂讲稿 9675, 施普林格 2016 ，国际标准图书编号 978-3-319-33599-5 [目录]
2014年第四个ABZ：法国图卢兹
雅敏·艾特·阿米尔 , 克劳斯·迪特尔·斯奎 :
抽象状态机、合金、B、TLA、VDM和Z-第四届国际会议，2014年ABZ，法国图卢兹，2014年6月2-6日。 诉讼程序。 计算机科学课堂讲稿 8477, 施普林格 2014 ，国际标准图书编号 978-3-662-43651-6 [目录] 波尼奥尔炸薯条 , 弗吉尼亚威尔斯 , 雅敏·艾特·阿米尔 , 克劳斯·迪特尔·斯奎 :
ABZ 2014：起落架案例研究-案例研究轨道，于2014年6月2-6日在法国图卢兹举行的第四届抽象状态机、合金、B、TLA、VDM和Z国际会议上举行。 诉讼程序。 计算机与信息科学中的通信 433, 施普林格 2014 ，国际标准图书编号 978-3-319-07511-2 [目录]
2012年ABZ第三届：意大利比萨
约翰·德里克 , 约翰·菲茨杰拉德 , 斯蒂芬妮娅·格内西 , 萨尔夫拉兹·库希德 , 迈克尔·勒谢尔 , 史蒂夫·里夫斯 , 蓖麻Elvinia Riccobene :
抽象状态机、合金、B、VDM和Z——第三届国际会议，2012年ABZ，意大利比萨，2012年6月18日至21日。 诉讼程序。 计算机科学课堂讲稿 7316, 施普林格 2012 ，国际标准图书编号 978-3-642-30884-0 [目录]
2010年ABZ第二届：加拿大魁北克省奥尔福德
马克·弗拉皮耶 , Uwe Glässer公司 , 萨尔夫拉兹·库希德 , 雷金·拉劳 , 史蒂夫·里夫斯 :
抽象状态机，合金，B和Z，第二届国际会议，ABZ 2010，Orford，QC，加拿大，2010年2月22日至25日。 诉讼程序。 计算机科学课堂讲稿 5977, 施普林格 2010 ，国际标准图书编号 978-3-642-11810-4 [目录]
2008年第一届ABZ：英国伦敦
埃贡·伯格 , 迈克尔·巴特勒 , 乔纳森·鲍文 , 保罗·博卡 :
抽象状态机，B和Z，第一届国际会议，ABZ 2008，英国伦敦，2008年9月16-18日。 诉讼程序。 计算机科学课堂讲稿 5238, 施普林格 2008 ，国际标准图书编号 978-3-540-87602-1 [目录]
2007年第17届ZUM：新西兰奥克兰
2006年第16届ZUM：美国马里兰州哥伦比亚
2005年第四届ZB：英国吉尔福德萨里大学
海伦·特雷哈恩 , 斯蒂夫·金 , 马丁·汉森 , 史蒂夫·施耐德 :
ZB 2005：《Z和B中的正式规范和开发》，第四届B和Z用户国际会议，英国吉尔福德，2005年4月13日至15日，会议记录。 计算机科学课堂讲稿 3455, 施普林格 2005 ，国际标准图书编号 3-540-25559-1 [目录]
2003年第3季度：芬兰图尔库
迪迪埃·伯特 , 乔纳森·鲍文 , 斯蒂夫·金 , 玛丽娜·瓦尔登 :
ZB 2003：《Z和B的正式规范和开发》，第三届B和Z用户国际会议，芬兰图尔库，2003年6月4-6日，会议记录。 计算机科学课堂讲稿 2651, 施普林格 2003 ，国际标准图书编号 3-540-40253-5 [目录]
2002年第2季度：法国格勒诺布尔
迪迪埃·伯特 , 乔纳森·鲍文 , 马丁·汉森 , 罗宾森 :
ZB 2002：《Z和B中的正式规范和开发》，第二届B和Z用户国际会议，法国格勒诺布尔，2002年1月23日至25日，会议记录。 计算机科学课堂讲稿 2272, 施普林格 2002 ，国际标准图书编号 3-540-43166-7 [目录]
2000年第一届ZB：英国约克
乔纳森·鲍文 , 史蒂夫·邓恩 , 安迪·加洛韦 , 斯蒂夫·金 :
ZB 2000：《Z和B中的正式规范和开发》，第一届B和Z用户国际会议，英国约克，2000年8月29日至9月2日，会议记录。 计算机科学课堂讲稿 1878, 施普林格 2000 ，国际标准图书编号 3-540-67944-8 [目录]
1998年第11届ZUM：德国柏林
乔纳森·鲍文 , 安德烈亚斯·费特 , 迈克尔·欣奇 :
ZUM'98：Z形式规范符号，第11届Z用户国际会议，德国柏林，1998年9月24日至26日，会议记录。 计算机科学课堂讲稿 1493, 施普林格 1998 ，国际标准图书编号 3-540-65070-9 [目录]
1997年第10届ZUM：英国雷丁
乔纳森·鲍文 , 迈克尔·欣奇 , 大卫·蒂尔 :
ZUM’97：Z形式规范符号，第十届Z用户国际会议，英国雷丁，1997年4月3-4日，会议记录。 计算机科学课堂讲稿 1212, 施普林格 1997 ，国际标准图书编号 3-540-62717-0 [目录]
1995年第9季度：爱尔兰利默里克
乔纳森·鲍文 , 迈克尔·欣奇 :
ZUM’95：Z形式规范符号，第九届Z用户国际会议，爱尔兰利默里克，1995年9月7日至9日，会议记录。 计算机科学课堂讲稿 967, 施普林格 1995 ，国际标准图书编号 3-540-60271-2 [目录]
1994年第八届Z用户研讨会：英国剑桥
1992年第7届Z用户研讨会：英国伦敦
1991年第六届Z用户研讨会：英国约克
1990年第五届Z用户研讨会：英国牛津
1989年第四届Z用户研讨会：英国牛津
