中图分类法:	TP311-532 版次：
题名:	FM 2008 : [ formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2008.
载体形态:	xiii, 436 p. : ill. ; 24 cm.
主题词:	Computer software Development
主题词:	Formal methods (Computer science)
主题词:	System design Mathematics
主要责任者:	Cuellar, Jorge.
主要责任者:	Maibaum, Thomas S. E.,
主要责任者:	Sere, K.