• Sign in
  • Sign up
conf.researchr.org / Andrew Sogokon
  • POPL 2016 profile

Not registered as user yet

Name:Andrew Sogokon

Contributions

VMCAI Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track

Share
xSat 4 Feb 06:50
using conf.researchr.org (v1.58.0)
Support page
Sign Up