Abstract
This special issue collects current advances in the ongoing attempt to obtain synergies from the combination of Tests and Proofs.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Beckert, B., Hähnle, R. Tests and Proofs. J Autom Reasoning 45, 327–329 (2010). https://doi.org/10.1007/s10817-010-9173-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-010-9173-2