@inbook{f10c332a8104455f82cea69ebea3e1f5,
title = "Preface",
author = "Mirco Giacobbe and Anna Lukina",
note = "Green Open Access added to TU Delft Institutional Repository as part of the Taverne amendment. More information about this copyright law amendment can be found at https://www.openaccess.nl. Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.; 2nd International Symposium on AI Verification, SAIV 2025 ; Conference date: 21-07-2025 Through 22-07-2025",
year = "2026",
language = "English",
isbn = "978-3-031-99990-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "v",
editor = "M. Giacobbe and A. Lukina",
booktitle = "AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings",
url = "https://www.aiverification.org/2025/",
}