Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005))

Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005))Romijn, JMT (Judi)Smith, G (Graeme)Pol, van de JC (Jaco)Copyright (c) Romijn, JMT (Judi); Copyright (c) Smith, G (Graeme); Copyright (c) Pol, JC (Jaco) van dehttp://repository.tue.nl/641578nulljournalArticle1571-0061Electronic Notes in Theoretical Computer Science2007 1571-0061 URN:NBN:NL:UI:25-641578 191 1