Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development.

Leonardo Mendona de Moura, Nikolaj S. Bjrner

Browse the full CADE paper archive.