Person:
Zeige:
Nordhoff Benedikt, Lammich Peter (2012) Sonstige wissenschaftliche Veröffentlichung | |
Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas (2011) In: International Journal on Software Tools for Technology Transfer, 13(1). Forschungsartikel (Zeitschrift) | |
Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus (2011) In: Ball Thomas, Sagiv Mooly (Hrsg.), Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages. . Forschungsartikel in Sammelband (Konferenz) | |
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. Berlin, Heidelberg, New York: . Forschungsartikel in Sammelband (Konferenz) | |
Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (Hrsg.), Interactive Theorem Proving. . Forschungsartikel in Sammelband (Konferenz) | |
Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010) Sonstige wissenschaftliche Veröffentlichung | |
In: (Hrsg.), . | |
In: (Hrsg.), . | |
In: (Hrsg.), . | |
In: (Hrsg.), . |