Project:
Show:
Show 1 to 10 of 17 results
Show 1 to 10 of 17 results
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013) Other scientific publication | Published | |
Flexeder Andrea, Müller-Olm Markus, Petter Michael, Seidl Helmut (2011) In: ACM Transactions on Programming Languages and Systems, 33(6). Research article (journal) | Peer reviewed | Published | |
Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus (2011) In: Ball Thomas, Sagiv Mooly (eds.), Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages, 93-104. . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Gawlitza Thomas, Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2011) In: Jhala Ranjit, Schmidt David (eds.), Verification, Model Checking and Abstract Interpretation, 199-213. Berlin, Heidelberg, New York: . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009) In: Bouajjani Ahmed, Maler Oded (eds.), Computer Aided Verification, 525-539. . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Lammich Peter, Müller-Olm Markus (2008) In: Alpuente María, Vidal Germán (eds.), , -. | Peer reviewed | |
In: (eds.), , -. | Peer reviewed | |
In: (eds.), , -. | Peer reviewed | |
In: . | Peer reviewed | |