Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mingzhang Huang
conf.researchr.org general profile
SPLASH 2019 profile
Not registered as user
Name:
Mingzhang Huang
Affiliation:
Shanghai Jiao Tong University
Contributions
2019
SPLASH
Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA Artifacts-track
Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track
Share
x
Sun 22 Dec 09:53