Registered user since Sun 23 May 2021
Name:Finn Voichick
Affiliation:University of Maryland
Contributions
| PLanQC 2021 | Toward A Quantum Programming Language for Higher-Level Formal Verification | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile