David Purser -

Registered user since Sun 3 Oct 2021

Name:David Purser

Country:Germany

Affiliation:MPI-SWS

Personal website: https://www.davidpurser.net

Contributions

2022

POPL

Author of What’s Decidable about Linear Loops? within the POPL-track