Automatic Generator Methodology for Safe Embedded Software - Werner, Michael (2023)
Keywords: Hochschulschrift