@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}
}
Reasoning and Verification: State of the Art and Current Trends
| 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 |