Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Koh
conf.researchr.org general profile
POPL 2019 profile
Registered user since Sun 22 Oct 2017
Name:
Nicolas Koh
Contributions
2019
CPP
Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
Share
x
Thu 10 Oct 18:59