- Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, Springer, 2007.
- Judi Romijn, Graeme Smith 0001, Jaco van de Pol, editors, Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005. Volume 191 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007.