Verification Condition Generation via Theorem Proving (2006)

Cached

Download Links

by John Matthews , J Strother Moore , Ip Ray , Daron Vroon
Venue:Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2006), Vol. 4246 of LNCS
Citations:13 - 3 self