中图分类法:	TP311.5 版次：
题名:	Formal methods at the crossroads : [ from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2003.
载体形态:	xiv, 453 p. : ill., 1 port. ; 24 cm.
主题词:	Software engineering
主要责任者:	Aichernig, Bernhard K.,
主要责任者:	Maibaum, Thomas S. E.,