Mingsheng Ying

Registered user since Wed 18 May 2022

Name:Mingsheng Ying
Affiliation:University of Technology Sydney

Contributions

POPL 2018 Algorithmic Analysis of Termination Problems for Quantum Programs
Show activities from other conferences

POPL 2018-profile
View general profile