conf.researchr.org / Insup Lee
Not registered as user yet
Name:Insup Lee
Contributions
TACAS 2019 | Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track |
Not registered as user yet
Contributions
TACAS 2019 | Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track |