Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. Schneck - George Berkeley - Document - PDFSEARCH.IO

First Page	Meta Content
	Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. Schneck Add to Reading List Document Date: 2010-10-29 12:59:25 Open Document File Size: 174,40 KB Share Result on Facebook

Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. SchneckAdd to Reading List