Light-Weight Theorem Proving for Debugging and Verifying Units of Code (2003)

Cached

Download Links

by David Déharbe , Silvio Ranise
Citations:47 - 25 self