@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
| Author(s): | Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, and Philipp Rümmer |
|---|---|
| Journal: | KI |
| Number: | 1 |
| Volume: | 24 |
| Year: | 2010 |
| Pages: | 43-49 |