@Article{BeckertHaehnle2010,
author = {Bernhard Beckert and Reiner H\"ahnle},
journal = {Journal of Automated Reasoning},
title = {Special Issue on Tests and Proofs},
publisher = {Springer-Verlag},
volume = {45},
number = {4},
year = {2010},
month = apr
}
Special Issue on Tests and Proofs
| Autor(en): | Bernhard Beckert und Reiner Hähnle |
|---|---|
| Zeitschrift: | Journal of Automated Reasoning |
| Verleger: | Springer-Verlag |
| Nummer: | 4 |
| Band: | 45 |
| Jahr: | 2010 |