Auflistung nach Autor "Rümmer, Philipp"
Anzeige der Dokumente 1-2 von 2
-
Automating regression verification
Felsing, Dennis; Grebing, Sarah; Klebanov, Vladimir; Rümmer, Philipp; Ulbrich, Mattias
75-76 -
Practical Aspects of Automated Deduction for Program Verification
Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin; Rümmer, Philipp
43-49