Cover Image

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings /

Saved in:

Bibliographic Details
Corporate Author:	International Conference on Integrated Formal Methods Eindhoven, Netherlands
Other Authors:	Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco van de
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2005], ©2005.
Series:	Lecture notes in computer science ; 3771.
Subjects:	Formal methods (Computer science) > Congresses. Formal methods (Computer science) Conference papers and proceedings.
Online Access:	Notre Dame Online Access
Open Policy Finder:	Search Open Policy Finder by ISSN

Internet

Notre Dame Online Access

Hesburgh Library General Collection

Holdings details from Hesburgh Library General Collection
Call Number:	QA 76.9 .F67 I58 2005
	Available Request Request a scan of an article or book chapter