Registered user since Thu 5 Nov 2015

Name:Christopher Pulte
Affiliation:University of Cambridge, UK

Contributions

WITS 2022 CN: A Refinement Type System for C
Show activities from other conferences

Using general profile