@inbook{0642ff43c5a64879ac940b0c26d853e5,
title = "Preface",
author = "Georgiana Caltais and Christian Schilling",
year = "2023",
language = "English",
isbn = "978-3-031-15076-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
booktitle = "Model Checking Software",
address = "Germany",
note = "29th International Symposium on Model Checking Software, SPIN 2023, co-located with European Joint Conferences on Theory and Practice of Software, ETAPS 2023, SPIN ; Conference date: 26-04-2023 Through 27-04-2023",
}