Write a Blog >>
EnCyCriS 2021
Thu 3 Jun 2021
co-located with ICSE 2021
Mingsheng Ying

Registered user since Wed 18 May 2022

Name:Mingsheng Ying
Affiliation:University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University

Contributions

Q-SE 2021 Verification of Quantum Programs
Show activities from other conferences

ICSE 2021-profile
View general profile