Minbo Gao
Minbo Gao
Affiliation: Institute of Software, Chinese Academy of Sciences
Affiliation: University of Chinese Academy of Sciences
Pages in this Program
Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑