Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nika Pona
conf.researchr.org general profile
POPL 2021 profile
Registered user since Mon 18 Jan 2021
Name:
Nika Pona
Affiliation:
Digamma.ai
Contributions
2021
CPP
Author of How to verify an ASN.1 Protocol C-language Stack in Coq? within the Lightning Talks-track
Share
x
Tue 3 Dec 18:08