Not registered as user yet

Name: Lauren Pick

Country: United States

Affiliation: Princeton University

Contributions

VMCAI 2021 Author of Unbounded Procedure Summaries from Bounded Environments within the VMCAI-track