• Sign in
  • Sign up
conf.researchr.org / Nicolas Voirol
  • SPLASH 2019 profile
No Photo

Not registered as user

Name:Nicolas Voirol
Affiliation:EPFL, Switzerland

Contributions

2019

SPLASH

  • Author of System FR: Formalized Foundations for the Stainless Verifier within the OOPSLA-track
  • Author of System FR: Formalized Foundations for the Stainless Verifier within the Posters-track
Share
xSun 18 May 23:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up