SPLASH 2023 (series) / Shenghua Feng
Registered user since Sat 11 Mar 2023
Name:Shenghua Feng
Country:China
Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Research interests:Formal Verification, Probabilistic Programs, Hybrid Sytems
Contributions
Using general profile