• Sign in
  • Sign up
conf.researchr.org / Insup Lee
  • ETAPS 2019 profile

Not registered as user

Name:Insup Lee

Contributions

2019

TACAS

  • Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track
Share
xSun 13 Jul 12:29
using conf.researchr.org (v1.69.1)
Support page
Sign Up