Fachartikel
Partial and nested recursive function definitions in higher-order logic
Cloud-Services in der Automobilbranche
Wirtschaftsforum, Februar 2023 (Arlette Beck, Alexander Christ, Michael Rohleder), zum Artikel