George C. Necula, Robert R. Schneck
A Sound Framework for Untrusted Verification-Condition Generators
LICS, 2003.
@inproceedings{LICS-2003-NeculaS, author = "George C. Necula and Robert R. Schneck", booktitle = "{Proceedings of the 18th IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2003.1210065", isbn = "0-7695-1884-2", pages = "248--260", publisher = "{IEEE Computer Society}", title = "{A Sound Framework for Untrusted Verification-Condition Generators}", year = 2003, }