中图分类法:	TP311-532 版次：
题名:	FM 2005 : [ formal methods : International Symposium of Formal Methods Europe, Newcastle, U.K., July 18-22, 2005 : proceedings /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2005.
载体形态:	xiv, 558 p. : ill. ; 24 cm.
附注:	"13th International Symposium of Formal Methods Europe"--Pref.
主题词:	Computer software Development
主题词:	Formal methods (Computer science)
主题词:	System design
主要责任者:	Fitzgerald, John,
主要责任者:	Hayes, Ian.
主要责任者:	Tarlecki, Andrzej.