Integrated formal methods [electronic resource] : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Integrated Formal Methods Eindhoven, Netherlands
Other Authors:	Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco van de
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2005.
Series:	Lecture notes in computer science ; 3771.
Subjects:	Formal methods (Computer science) > Congresses. Formal methods (Computer science) Conference papers and proceedings.

Internet

Full Text (via Springer)

Holdings details from Online
Call Number:	QA76.9.F67 I58 2005eb
QA76.9.F67 I58 2005eb	Available