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