Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005

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

    Research output: Book/ReportBook editingAcademic

    Original languageEnglish
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages407
    ISBN (Electronic)9783540322405
    ISBN (Print)3-540-30492-4, 9783540304920
    DOIs
    Publication statusPublished - 2005

    Publication series

    NameLecture notes in computer science
    Volume3771
    ISSN (Print)0302-9743
    NameIFM : integrated formal methods : international conference : proceedings
    Volume5

    Cite this