Enhancing Program Verification with Lemmas.

Huu Hai Nguyen, Wei-Ngan Chin

Browse the full CAV paper archive.