Preface Authors Sven Jörges University of Applied Science and Arts Dortmund Salim Saay Steven Smyth DOI: https://doi.org/10.14279/tuj.eceasst.82.1228 Downloads PDF Published 2023-10-06 Issue Vol. 82 (2023): 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 Section Preface