@inbook{a9ee97fba6b047d0b82ac520868c3b46,
title = "Preface",
author = "Marieke Huisman and Corina P{\u a}s{\u a}reanu and Naijun Zhan",
note = "Funding Information: We are very grateful to our sponsors: the Chinese Academy of Sciences, and in particular its Institute of Software, and the National Natural Science Foundation of China. Finally, we thank Springer for publishing these proceedings in their FM subline; 24th International Symposium on Formal Methods, FM 2021, FM 2021 ; Conference date: 20-11-2021 Through 26-11-2021",
year = "2021",
language = "English",
volume = "13047 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "v--vi",
booktitle = "24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings",
}