Practical Aspects of Automated Deduction for Program Verification

Journal Article

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