中图分类法:	TP311.52 版次：
题名:	FME 2003 : [ formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer-Verlag, 出版日期： 2003.
载体形态:	xvii, 942 p. : ill. ; 24 cm.
主题词:	Computer software Development
主题词:	Formal methods (Computer science)
主题词:	System design Mathematics
主要责任者:	Araki, Keijiro,
主要责任者:	Gnesi, Stefania,
主要责任者:	Mandrioli, Dino.