(1 - 23 von 29
)
SE Konferenzprogramm
www.se-konferenzen.de
Anna-Lena Lamprecht, Tiziana Margaria (Universität Göttingen), Bernhard Steffen (Universität Dortmund). State Identification and Verification using a Model ...
ETAPS 2006
www.complang.tuwien.ac.at
Anna-Lena Lamprecht, Tiziana Margaria (Univ. Göttingen, D), and Bernhard Steffen (Univ. Dortmund, D) The CGiS compiler Philipp Lucas, Nicolas Fritz, and Reinhard
sortiert nach Relevanz / Datum