Browsing by Author "Rümmer, Philipp"
Now showing items 1-2 of 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