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

by Manuvir Das , Sorin Lerner , Mark Seigle
Citations:250 - 3 self