Jonas Wagner, Volodymyr Kuznetsov, George Candea. -OVERIFY: Optimizing Programs for Fast Verification. In Petros Maniatis, editor, 14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa Ana Pueblo, New Mexico, USA, May 13-15, 2013. USENIX Association, 2013. [doi]
No reviews for this publication, yet.