conf.researchr.org / Shenggang Ying
Not registered as user yet
Name:Shenggang Ying
Affiliation:University of Technology Sydney, Australia
Contributions
| POPL 2017 | Author of Invariants of Quantum Programs: Characterisations and Generation within the POPL-track |