Reasoning and Verification: State of the Art and Current Trends

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Reiner Hähnle
Zeitschrift:Intelligent Systems, IEEE
Nummer:1
Band:29
Jahr:2014
Seiten: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}
}