James Worrell

Registered user since Fri 6 Nov 2020

Name:James Worrell
Country:United Kingdom
Affiliation:University of Oxford

Contributions

POPL 2022 What's Decidable about Linear Loops?
Show activities from other conferences

Using general profile