Not registered as user yet

Name: Mingsheng Ying

Affiliation: University of Technology Sydney, Australia

POPL 2017 Activities

• Author of Invariants of Quantum Programs: Characterisations and Generation within the POPL-track in POPL 2017
• Show activities from other conferences