1.
IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005
2.
Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005))