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

J.M.T. Romijn, G. Smith, J.C. Pol, van de

    Research output: Contribution to journalEditorialProfessional

    1 Downloads (Pure)

    Cite this