Auflistung nach Autor "Giese, Martin"
Anzeige der Dokumente 1-1 von 1
-
Practical Aspects of Automated Deduction for Program Verification
Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin; Rümmer, Philipp
43-49
- Startseite
- Auflistung nach Autor
Anzeige der Dokumente 1-1 von 1
Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin; Rümmer, Philipp
43-49