Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Dilley
conf.researchr.org general profile
ASE 2021 profile
Registered user since Mon 21 Jun 2021
Name:
Nicolas Dilley
Contributions
2021
ASE
Author of Automated Verification of Go Programs via Bounded Model Checking within the Artifact Evaluation-track
Author of Automated Verification of Go Programs via Bounded Model Checking within the Research Papers-track
Share
x
Sun 26 Oct 21:01