Sciweavers

KI
2010
Springer

Practical Aspects of Automated Deduction for Program Verification

13 years 6 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese,
Added 20 May 2011
Updated 20 May 2011
Type Journal
Year 2010
Where KI
Authors Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
Comments (0)