Jelschen, JanMeier, JohannesWinter, Andreas2023-03-132023-03-132015https://dl.gi.de/handle/20.500.12116/40805enSensei Applied: An Auto-Generated Toolchain for Q-MIGText/Journal Article0720-8928