科图分类法:	QA76 L47 no. 2391 版次：
中图分类法:	TP311-532 版次：
题名:	FME 2002 : [ formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2002.
载体形态:	xi, 624 p. : ill. ; 24 cm.
附注:	"The symposium was the 11th in a series...".--P. [v] .
主题词:	Computer software Development
主题词:	Formal methods (Computer science)
主题词:	System design Mathematics
主要责任者:	Eriksson, L.-H.
主要责任者:	Lindsay, Peter Alexander,