Review of: "A Review of Formal Methods in Quantum Circuit Verification"

Qeios 2026 Open access

Read full text
Authors: Min Liang
DOI: 10.32388/er3akr
Cited by: 0

Fields of Study & Subjects

Quantum Computing Algorithms and Architecture Formal Methods in Verification Logic programming and type systems

Publication details

Journal / source
Qeios
Publication date
8 February 2026
Language
EN