ESP: Path-Sensitive Program Verification in Polynomial Time (2002)

by Manuvir Das , Sorin Lerner , Mark Seigle
Citations:298 - 4 self