Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

L. Brim (Editor), B.R.H.M. Haverkort (Editor), M. Leucker (Editor), J.C. Pol, van de (Editor)

    Research output: Book/ReportBook editingAcademic

    Original languageEnglish
    Place of PublicationBerlin
    Number of pages363
    ISBN (Electronic)9783540709527
    ISBN (Print)978-3-540-70951-0
    Publication statusPublished - 2007

    Publication series

    NameLecture notes in computer science
    ISSN (Print)0302-9743

    Cite this