DMCA

OVERIFY : Optimizing Programs for Fast Verification (2013)

by Jonas Wagner , Volodymyr Kuznetsov , George Candea
Venue:In 14th Workshop on Hot Topics in Operating Systems. USENIX
Citations:6 - 1 self