DMCA

Tests and Proofs: Papers Presented at the Second International Conference TAP 2008, Prato, Italy, April 2008 (2008)

by Bernhard Beckert , Reiner Hähnle