Path-Sensitive Program Verification in Polynomial Time (2002)

Cached

Download Links

by Manuvir Das , Sorin Lerner , Mark Seigle
Citations:40 - 0 self