Adrian Lehmann
- VyZX: Formal Verification of a Graphical Quantum Language
2023/11/20 by Adrian Lehmann, Ben Caldwell, Lehmann, Adrian +9 · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification