Preface

Judi Romijn, J.M.T. Romijn, Graeme Smith

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Abstract

    Editorial preface for doctoral symposium affiliated with the conference on integrated formal methods.
    Original languageUndefined
    Title of host publicationProceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference
    EditorsJ.M.T. Romijn, G. Smith, Jan Cornelis van de Pol
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages1-2
    Number of pages2
    DOIs
    Publication statusPublished - 6 Oct 2007
    EventDoctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference - Eindhoven, The Netherlands
    Duration: 29 Nov 200529 Nov 2005

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    NumberLNCS4549
    Volume191
    ISSN (Print)1571-0661
    ISSN (Electronic)1571-0661

    Workshop

    WorkshopDoctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference
    Period29/11/0529/11/05
    Other29 Nov 2005

    Keywords

    • EWI-11278
    • METIS-242014
    • IR-61971

    Cite this