Philipp Tasche
Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.
Publikationen
Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke (2024) In: Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian (Hrsg.), Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024. London: Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) |