Registered user since Fri 9 Jun 2017

Name: Daniel Kroening

Affiliation: University of Oxford

POPL 2017 Activities

• Author of Independence Abstractions and Models of Concurrency within the VMCAI-track in VMCAI 2017
• Show activities from other conferences