Fifth International Conference on Integrated Formal Methods
29 November - 2 December 2005 in Eindhoven, The Netherlands
Invited Speakers
Patrice Godefroid - Bell Labs (USA)
David Parnas - University of Limerick (Ireland), McMaster University (Canada)
Doron Peled - University of Warwick (UK)
