秦胜超（编辑）;吉姆·伍德科克（编辑）;张文辉（编辑） 可靠的软件工程。理论、工具和应用。第七届国际研讨会，SETTA 2021，中国北京，2021年11月25-27日。诉讼程序。 （英文） Zbl 1490.68028号 计算机科学课堂讲稿13071.查姆：施普林格（ISBN 978-3-030-91264-2/pbk；978-3-0030-91265-9/电子书）。xiii，第321页。(2021).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Qin}（编辑）等，可靠软件工程。理论、工具和应用。第七届国际研讨会，SETTA 2021，中国北京，2021年11月25-27日。诉讼程序。查姆：施普林格（2021；Zbl 1490.68028） 全文： 内政部
刘志明（编辑）;吉姆·伍德科克（编辑）;朱慧彪（编辑） 统一编程理论和形式化工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。 （英文） Zbl 1320.68021号 计算机科学课堂讲稿8050.柏林：施普林格出版社（ISBN 978-3-642-39720-2/pbk；978-3-442-39721-9/电子书）。xi，第283页。(2013).MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Liu｝（编辑）等人，统一编程理论和形式化工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：施普林格出版社（2013；Zbl 1320.68021） 全文： 内政部
刘志明（编辑）;吉姆·伍德科克（编辑）;朱慧彪（编辑） 计算的理论方面——ICTAC 2013。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。 （英文） 兹比尔1271.68048 计算机科学课堂讲稿8049.柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。xii，第445页。(2013).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}（编辑）等，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（2013；Zbl 1271.68048） 全文： 内政部
刘志明（编辑）;吉姆·伍德科克（编辑）;朱慧彪（编辑） 编程理论和形式化方法。纪念何继峰70岁生日的散文。 （英文） Zbl 1269.68023号 计算机科学课堂讲稿8051.柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。xii，413页。(2013).MSC公司：68-06 68新元 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}（编辑）等，《程序设计理论和形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（2013；Zbl 1269.68023） 全文： 内政部
安娜·卡瓦尔坎蒂（编辑）;戴维·德哈比（编辑）;玛丽·克劳德·高德尔（编辑）;吉姆·伍德科克（编辑） 计算的理论方面——ICTAC 2010。2010年9月1日至3日，第七届国际学术讨论会，巴西北里奥格兰德州纳塔尔。诉讼程序。 （英文） Zbl 1194.68019号 计算机科学课堂讲稿6255.柏林：施普林格出版社（ISBN 978-3-642-14807-1/pbk）。xiii，第397页。(2010).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}（编辑）等人，《计算的理论方面——ICTAC 2010》。第七届国际学术讨论会，2010年9月1日至3日，巴西北里奥格兰德河纳塔尔。诉讼程序。柏林：施普林格（2010年；Zbl 1194.68019） 全文： 内政部
奥利维拉，马塞尔·维尼丘斯·梅代罗斯（编辑）;吉姆·伍德科克（编辑） 形式化方法：基础和应用。2009年8月19日至21日，巴西格拉马多，第十二届巴西正式方法研讨会，SBMF 2009。修订了选定的论文。 （英文） 兹比尔1177.68016 计算机科学课堂讲稿5902.柏林：施普林格出版社（ISBN 978-3-642-10451-0/pbk）。x、 第351页。(2009).MSC公司：68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Oliveira}（编辑）和\textit{J.Woodcock}（主编），形式方法：基础和应用。第十二届巴西正式方法研讨会，2009年SBMF，巴西格拉马多，2009年8月19-21日。修订了选定的论文。柏林：施普林格出版社（2009；Zbl 1177.68016） 全文： 内政部
Natarajan Shankar（编辑）;吉姆·伍德科克（编辑） 验证软件：理论、工具、实验。第二届国际会议，2008年10月6日至9日，加拿大多伦多，VSTTE 2008。诉讼程序。 （英文） Zbl 1147.68311号 计算机科学课堂讲稿5295.柏林：施普林格出版社（ISBN 978-3-540-87872-8/pbk）。xii，第263页。（2008年）。MSC公司：68-06 68N99型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Shankar}（编辑）和textit{J.Woodcock}（主编），验证软件：理论、工具和实验。第二届国际会议，2008年10月6-9日，加拿大多伦多，VSTTE 2008。诉讼程序。柏林：施普林格出版社（2008；Zbl 1147.68311） 全文： 内政部
迈耶，伯特兰（编辑）;吉姆·伍德科克（编辑） 验证软件：理论、工具、实验。第一届IFIP TC 2/WG 2.3会议，2005年10月10日至13日，瑞士苏黎世，VSTTE 2005。修订了选定的论文和讨论。 （英文） Zbl 1145.68310号 计算机科学课堂讲稿4171.柏林：施普林格出版社（ISBN 978-3-540-69147-1/pbk）。第二十三，546页。（2008年）。MSC公司：68-06 68N99型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Meyer}（编辑）和textit{J.Woodcock}（主编），验证软件：理论、工具和实验。第一届IFIP TC 2/WG 2.3会议，2005年VSTTE，瑞士苏黎世，2005年10月10-13日。修改选定的论文和讨论。柏林：施普林格出版社（2008；Zbl 1145.68310） 全文： 内政部
克利夫·琼斯。（编辑）;刘志明（编辑）;吉姆·伍德科克（编辑） 计算的理论方面——ICTAC 2007。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。 （英文） Zbl 1143.68007号 计算机科学课堂讲稿4711.柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。xi，第483页。（2007年）。MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（2007；Zbl 1143.68007） 全文： 内政部
克里斯·乔治（Chris W.George）。（编辑）;刘志明（编辑）;吉姆·伍德科克（编辑） 领域建模和持续时间演算。国际培训学校，中国上海，9月17日至21日。2007年，高级讲座。 （英文） Zbl 1143.68006号 计算机科学课堂讲稿4710.柏林：施普林格出版社（ISBN 978-3-540-74963-9/pbk）。xi，第237页。（2007年）。MSC公司：68-06 68新元 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.W.George}（编辑）等，领域建模和持续时间演算。国际培训学校，中国上海，9月17日至21日。2007年，高级讲座。柏林：施普林格出版社（2007；Zbl 1143.68006） 全文： 内政部
克利夫·琼斯。（编辑）;刘志明（编辑）;吉姆·伍德科克（编辑） 形式化方法和混合实时系统。纪念迪内斯·比约纳和周朝晨70岁生日的文章。 （英文） Zbl 1130.68009号 计算机科学课堂讲稿4700。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。十六、539页。（2007年）。MSC公司：68-06 68新元 60年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}（编辑）等，形式化方法和混合实时系统。在Dines Bjørner和Zhou Chaochen 70岁生日之际发表的纪念文章。柏林：施普林格出版社（2007；Zbl 1130.68009） 全文： 内政部
董金松（编辑）;吉姆·伍德科克（编辑） 正式方法和软件工程。第五届正式工程方法国际会议，ICFEM 2003，新加坡，2003年11月5-7日。诉讼程序。 （英文） Zbl 1029.00050 计算机科学课堂讲稿. 2885. 柏林：斯普林格。xi，683页（2003）。MSC公司：00B25型 68-06 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Dong}（编辑）和\textit{J.Woodcock}（编），形式方法和软件工程。第五届形式工程方法国际会议，2003年11月5-7日，新加坡。诉讼程序。柏林：施普林格出版社（2003；Zbl 1029.00050） 全文： 内政部 链接
珍妮特·温格。（编辑）;吉姆·伍德科克（编辑）;吉姆·戴维斯（编辑） FM'99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。2卷。 （英文） Zbl 0929.00076号 计算机科学课堂讲稿. 1708; 1709.柏林：施普林格。1875页（1999年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing}（编辑）等人，FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。在2卷中。柏林：施普林格出版社（1999；Zbl 0929.00076）
理查德·伯德（Richard S.Bird）。（编辑）;摩根·C·卡罗尔（编辑）;詹姆斯·C·P·伍德科克。（编辑） 程序构造的数学。第二届国际会议，英国牛津，1992年6月29日至7月3日。诉讼程序。 （英文） Zbl 0875.00136号 计算机科学课堂讲稿669.柏林：斯普林格·弗拉格。八、 378 p.DM 72.00/sc（1993年）。MSC公司：00B25型 68-06 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}（编辑）等，《程序构造的数学》。第二届国际会议，英国牛津，1992年6月29日至7月3日。诉讼程序。柏林：Springer-Verlag（1993；Zbl 0875.00136） 全文： 内政部
伍德科克，J.C.P。（编辑）;拉森，P.G。（编辑） 形成于93年。工业实力的正式方法。1993年4月19日至23日在丹麦欧登塞举行的第一届欧洲正式方法国际研讨会。诉讼程序。 （英文） 兹比尔0825.00100 计算机科学课堂讲稿670.柏林：斯普林格·弗拉格。十一、 689 p.DM 122.00/sc（1993）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.C.P.Woodcock}（编辑）和\textit{P.G.Larsen}（编），FME’93。工业实力的正式方法。1993年4月19日至23日在丹麦欧登塞举行的第一届欧洲正式方法国际研讨会。诉讼程序。柏林：Springer-Verlag（1993；Zbl 0825.00100） 全文： 内政部