Light-Weight Theorem Proving for Debugging and Verifying Units of Code.

David Dharbe, Silvio Ranise

Browse the full SEFM paper archive.