You are here

Tests and Proofs

Tests and Proofs

Author: 
Beckert, B., & Hähnle, R. (Eds.)
Publisher: 
Special Issue of Journal of Automated Reasoning, 45(4). Springer
Date: 
2008
Note: 
Outcome of: 2008 - Tests and Proofs' Software Engineering Conference (09/04)