A sound framework for untrusted verification-condition generators | IEEE Conference Publication | IEEE Xplore