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

Corporate Authors: International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands)
Group Author: Romijn Judi.; Smith Graeme, 1966-; Pol Jaco van de.
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.5-532/I613/2005