Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mathieu Nguyen
conf.researchr.org general profile
PLDI 2025 profile
Registered user since Tue 27 May 2025
Name:
Mathieu Nguyen
Contributions
2025
PLDI
Author of Formal Analysis and Verification in Quantum Programming within the Tutorials-track
Share
x
Sat 25 Oct 15:52