Preface

Paula Herber; Anton Wijs

doi:10.1007/978-3-031-47705-8

Preface

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

Original language	English
Title of host publication	Integrated Formal Methods
Subtitle of host publication	18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Editors	Paula Herber, Anton Wijs
Publisher	Springer
Pages	v-vi
ISBN (Electronic)	978-3-031-47705-8
ISBN (Print)	978-3-031-47704-1
DOIs	https://doi.org/10.1007/978-3-031-47705-8
Publication status	Published - 2024
Event	18th International Conference on integrated Formal Methods, iFM 2023 - Leiden, Netherlands Duration: 13 Nov 2023 → 15 Nov 2023

Publication series

Name	Lecture Notes in Computer Science
Volume	14300
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th International Conference on integrated Formal Methods, iFM 2023
Country/Territory	Netherlands
City	Leiden
Period	13/11/23 → 15/11/23

Access to Document

10.1007/978-3-031-47705-8

Cite this

@inbook{24f22d72493e40a79deb2c033e0bf243,

title = "Preface",

author = "Paula Herber and Anton Wijs",

year = "2024",

doi = "10.1007/978-3-031-47705-8",

language = "English",

isbn = "978-3-031-47704-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "v--vi",

editor = "Paula Herber and Anton Wijs",

booktitle = "Integrated Formal Methods",

address = "Germany",

note = "18th International Conference on integrated Formal Methods, iFM 2023 ; Conference date: 13-11-2023 Through 15-11-2023",

}

Herber, P & Wijs, A 2024, Preface. in P Herber & A Wijs (eds), Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14300, Springer, pp. v-vi, 18th International Conference on integrated Formal Methods, iFM 2023, Leiden, Netherlands, 13/11/23. https://doi.org/10.1007/978-3-031-47705-8

Preface. / Herber, Paula; Wijs, Anton.
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. ed. / Paula Herber; Anton Wijs. Springer, 2024. p. v-vi (Lecture Notes in Computer Science; Vol. 14300).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

TY - CHAP

T1 - Preface

AU - Herber, Paula

AU - Wijs, Anton

PY - 2024

Y1 - 2024

UR - http://www.scopus.com/inward/record.url?scp=85177826116&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-47705-8

DO - 10.1007/978-3-031-47705-8

M3 - Foreword/editorial

AN - SCOPUS:85177826116

SN - 978-3-031-47704-1

T3 - Lecture Notes in Computer Science

SP - v-vi

BT - Integrated Formal Methods

A2 - Herber, Paula

A2 - Wijs, Anton

PB - Springer

T2 - 18th International Conference on integrated Formal Methods, iFM 2023

Y2 - 13 November 2023 through 15 November 2023

ER -

Preface

Publication series

Conference

Access to Document

Other files and links

Cite this