设置@ABZ 2018年:英国南安普敦
海伦·特雷哈恩 , 斯蒂夫·金 , 马丁·汉森 , 史蒂夫·施耐德 :
ZB 2005:《Z和B中的正式规范和开发》,第四届B和Z用户国际会议,英国吉尔福德,2005年4月13日至15日,会议记录。 计算机科学课堂讲稿 3455, 施普林格 2005 ,国际标准图书编号 3-540-25559-1 迈克尔·勒谢尔 :
解决B项和B项中的设置约束:基础和应用(受邀演讲)。 1 多梅尼科·坎通纳 , 阿尔贝托·波利克里蒂 :
将集合编码为实数。 2-16 马克西米利亚诺·克里斯蒂亚 , 吉安弗兰科·罗西 :
限制内涵集Java编程。 17-31 凯瑟琳·杜布瓦 , 苏利凡·韦佩 :
走向{log}集合约束解析的Coq形式化。 32-37 阿尔贝托·卡萨格兰德 , 弗朗西斯科·迪·科斯莫 , 尤金尼奥·奥莫多 :
关于一些二部图的完美匹配。 38-51 多梅尼科·坎通纳 , 玛丽安娜·尼科洛西·阿斯蒙多 , 丹尼尔·弗朗西斯科·桑塔马利亚 :
描述逻辑DL的一种基于集合的推理器 4,x D类 . 52-66 奥利维尔·赫曼特 :
B集理论中的极化重写和表格。 67-72