Unifying type checking and property checking for low-level code
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer[doi] [Google Scholar] [DBLP] [Citeseer]
[doi] [Google Scholar] [DBLP] [Citeseer]
Related Work
Interesting papers