Preface

Paula Herber, Anton Wijs

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialAcademic

    Originele taal-2Engels
    TitelIntegrated Formal Methods
    Subtitel18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
    RedacteurenPaula Herber, Anton Wijs
    UitgeverijSpringer
    Pagina'sv-vi
    ISBN van elektronische versie978-3-031-47705-8
    ISBN van geprinte versie978-3-031-47704-1
    DOI's
    StatusGepubliceerd - 2024
    Evenement18th International Conference on integrated Formal Methods, iFM 2023 - Leiden, Nederland
    Duur: 13 nov. 202315 nov. 2023

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume14300
    ISSN van geprinte versie0302-9743
    ISSN van elektronische versie1611-3349

    Congres

    Congres18th International Conference on integrated Formal Methods, iFM 2023
    Land/RegioNederland
    StadLeiden
    Periode13/11/2315/11/23

    Citeer dit