• Sign in
  • Sign up
conf.researchr.org / Loïc Paulevé
  • POPL 2019 profile

Not registered as user yet

Name:Loïc Paulevé

Contributions

VMCAI 2019 Author of Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics within the VMCAI 2019-track

Share
xSat 1 Apr 08:58
using conf.researchr.org (v1.60.0)
Support page
Sign Up