Canh
Minh Do
Toggle navigation
About
Profile
Teaching
Research
Publications
News
Blog
ket-as4qc
Advanced Algebraic Specification for Quantum Computation