Reasoning and Verification: State of the Art and Current Trends

Journal Article

Author(s):Bernhard Beckert and Reiner Hähnle
Journal:Intelligent Systems, IEEE
Number:1
Volume:29
Year:2014
Pages:20-29
DOI:10.1109/MIS.2014.3

BibTeX

@article{BeckertHaehnleIntSyst2014,
  title      = {Reasoning and Verification: State of the Art and Current Trends},
  author     = {Bernhard Beckert and Reiner H\"ahnle},
  journal    = {Intelligent Systems, IEEE},
  volume     = {29},
  number     = {1},
  pages      = {20--29},
  doi        = {10.1109/MIS.2014.3},
  issn       = {1541-1672},
  month      = feb,
  year       = {2014}
}