• Sign in
  • Sign up
conf.researchr.org / Nicolas Koh
  • POPL 2019 profile
No Photo

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
xTue 20 May 05:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up