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, 187-209. London: Springer. doi:10.1007/978-3-031-50521-8_9 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |