@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",
}