@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
| Author(s): | Bernhard Beckert and Reiner Hähnle |
|---|---|
| Journal: | Journal of Automated Reasoning |
| Publisher: | Springer-Verlag |
| Number: | 4 |
| Volume: | 45 |
| Year: | 2010 |