Person:
Zeige:
Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander (2015) In: Falaschi Moreno (Hrsg.), Logic-Based Program Synthesis and Transformation. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2013) In: Francesco Logozzo, Manuel Fahndrich (Hrsg.), 20th Static Analysis Symposium, 477-498. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Gawlitza Thomas, Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2011) In: Jhala Ranjit, Schmidt David (Hrsg.), Verification, Model Checking and Abstract Interpretation, 199-213. Berlin, Heidelberg, New York: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Wenner Alexander (2010) In: Gordon Andrew (Hrsg.), Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, 590-609. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Wenner Alexander (2009) In: Hlineny Petr, Matyas Vaclav, Vojnar Tomas (Hrsg.), Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Germany: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009) In: (Hrsg.), , -. | Peer reviewed |