Tianshi Yu
Tianshi Yu
Affiliation: Institute of Software, 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:
🔍 ↑