@article{AhrendtBeckertEtAl2010,
author = {Wolfgang Ahrendt and Bernhard Beckert and Martin Giese and
Philipp R\"ummer},
title = {Practical Aspects of Automated Deduction for Program Verification},
journal = {KI},
volume = {24},
number = {1},
pages = {43--49},
year = {2010}
}
Practical Aspects of Automated Deduction for Program Verification
| Autor(en): | Wolfgang Ahrendt, Bernhard Beckert, Martin Giese und Philipp Rümmer |
|---|---|
| Zeitschrift: | KI |
| Nummer: | 1 |
| Band: | 24 |
| Jahr: | 2010 |
| Seiten: | 43-49 |