Preface

Kim Guldstrand Larsen, Tim Willemse

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationFormal Methods for Industrial Critical Systems
    Place of PublicationCham
    PublisherSpringer
    Pagesv-vi
    Number of pages2
    ISBN (Electronic)978-3-030-27008-7
    ISBN (Print)978-3-030-27007-0
    Publication statusPublished - 1 Jan 2019
    Event24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 - Amsterdam, Netherlands
    Duration: 30 Aug 201931 Aug 2019

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    PublisherSpringer
    Volume11687
    ISSN (Print)0302-9743

    Conference

    Conference24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019
    CountryNetherlands
    CityAmsterdam
    Period30/08/1931/08/19

    Cite this