You are here

Tests and Proofs. Special Issue of Journal of Automated Reasoning, 45(4).

Tests and Proofs. Special Issue of Journal of Automated Reasoning, 45(4).

Author: 
Beckert, B., & Hähnle, R. (Eds.)
Date: 
2010
Note: 
Outcome of: 2008 - Tests and Proofs' Software Engineering Conference (09/04).