George C. Necula Peter Lee 0001 93-104 1998 conf/lics/1998 LICS db/conf/lics/lics98.html#NeculaL98 https://doi.org/10.1109/LICS.1998.705646 https://doi.ieeecomputersociety.org/10.1109/LICS.1998.705646