Ramarathnam Venkatesan. Program analysis as constraint solving (2008)

by Sumit Gulwani, Saurabh Srivastava
Venue:In Rajiv Gupta and Saman P. Amarasinghe, editors, PLDI