Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yingte Xu
conf.researchr.org general profile
POPL 2026 profile
Registered user since Thu 11 Jul 2024
Name:
Yingte Xu
Contributions
2026
PLanQC
Author of A Unified Assertion-Based Framework for Classical-Quantum Program Verification within the PLanQC 2026-track
Share
x
Mon 2 Nov 15:31