Verification Condition Generation Via Theorem Proving.

John Matthews, J Strother Moore, Sandip Ray, Daron Vroon

Browse the full LPAR paper archive.