Philipp Tasche
No current affiliations available for this person. The person is no longer active at the university.
Publications
Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke (2024) In: Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian (eds.), Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, 187-209. London: Springer. doi:10.1007/978-3-031-50521-8_9 Research article in edited proceedings (conference) | Peer reviewed | Published |