Unifying Type Checking and property checking for low-level code (2009)

by Jeremy Condit , Brian Hackett , Shuvendu K. Lahiri , Shaz Qadeer
Citations:35 - 12 self