Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jia Lu
conf.researchr.org general profile
APSEC 2022 profile
Registered user since Fri 26 Aug 2022
Name:
Jia Lu
Country:
China
Affiliation:
East China Normal University
Research interests:
Formal Methods
Contributions
2022
APSEC
Author of Bisection Value Iteration within the Technical Track-track
Share
x
Sun 22 Dec 02:10