Collaborated with:
Shih-Han Hung Kesha Hietala M.Ying M.H.0001 X.Wu
Talks about:
quantum (1) quantit (1) program (1) analysi (1) robust (1)
Person: Shaopeng Zhu
DBLP: Zhu:Shaopeng
Contributed to:
Wrote 1 papers:
- POPL-2019-HungHZYHW #analysis #quantum #robust #source code
- Quantitative robustness analysis of quantum programs (SHH, KH, SZ, MY, MH0, XW), p. 29.