董金松（编辑）;吉姆·伍德科克（编辑） 正式方法和软件工程。第五届正式工程方法国际会议，ICFEM 2003，新加坡，2003年11月5-7日。诉讼程序。 （英语） Zbl 1029.00050 计算机科学课堂讲稿. 2885. 柏林：斯普林格。xi，683页（2003）。 有关上一次会议，请参阅Zbl 1012.68851号. 引用于1审查引用于5文件 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 68N99型 软件理论 关键词：形式化方法;软件工程;ICFEM 2003年;新加坡（新加坡） 引文：Zbl 1012.68851号 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Dong}（编辑）和\textit{J.Woodcock}（编），形式方法和软件工程。第五届形式工程方法国际会议，2003年11月5-7日，新加坡。诉讼程序。柏林：施普林格出版社（2003；Zbl 1029.00050） 全文： DOI程序 链接