Practical Aspects of Automated Deduction for Program Verification

Zeitschriftenartikel

Autor(en):Wolfgang Ahrendt, Bernhard Beckert, Martin Giese und Philipp Rümmer
Zeitschrift:KI
Nummer:1
Band:24
Jahr:2010
Seiten:43-49

BibTeX

@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}
}