@Proceedings{BeckertHaehnle2008,
editor = {Bernhard Beckert and Reiner H\"ahnle},
title = {Second International Conference on Tests and Proofs ({TAP} 2008)},
venue = {Prato, Italy},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4966},
year = {2008}
}
Second International Conference on Tests and Proofs (TAP 2008)
| Herausgeber: | Bernhard Beckert and Reiner Hähnle |
|---|---|
| Verleger: | Springer |
| Reihe: | Lecture Notes in Computer Science |
| Band: | 4966 |
| Jahr: | 2008 |