Fifth International Conference on Integrated Formal Methods
29 November - 2 December 2005 in Eindhoven, The Netherlands
Proceedings
The proceedings of IFM2005 are available als LNCS Volume 3771, published by Springer. Please use the following link: http://www.springeronline.com/3-540-30492-4.
The proceedings of the doctoral symposium are published as CS-Report 05-29 from the TU/e, and will become available soon on the page with Computer Science Reports of the TU/e.
