Registered user since Fri 16 Sep 2016

Name: Asya Frumkin

Affiliation: Tel Aviv University

POPL 2017 Activities

• Author of Property Directed Reachability for Proving Absence of Concurrent Modification Errors within the VMCAI-track in VMCAI 2017
• Show activities from other conferences