Shuvendu K. Lahiri, Thomas Ball, and Byron Cook 2007
In: Logical Methods in Computer Science (LMCS '07)
