朱迪·罗米恩(编辑);格雷姆·史密斯(编辑);雅各布·范德波尔(编辑) 第五届综合正式方法会议(IFM 2005)附属的博士研讨会论文集,荷兰埃因霍温,2005年11月29日。 (英语) Zbl 1276.68029号 理论计算机科学电子笔记191.阿姆斯特丹:爱思唯尔。113页。,仅电子版(2007年)。MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Romijn}(ed.)等人,第五届综合形式方法会议(IFM 2005)附属博士研讨会论文集,荷兰埃因霍温,2005年11月29日。阿姆斯特丹:爱思唯尔(2007;Zbl 1276.68029) 全文: 链接
朱迪·罗米恩(编辑);格雷姆·史密斯(编辑);雅各布·范德波尔(编辑) 集成形式化方法。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。 (英语) Zbl 1122.68011号 计算机科学课堂讲稿3771.柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。xi,第407页。(2005).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Romijn}(编辑)等人,综合形式方法。2005年11月29日至12月2日在荷兰埃因霍温举行的第五届国际会议。诉讼程序。柏林:施普林格出版社(2005;Zbl 1122.68011) 全文: 内政部