Paper "symQV: Automated Symbolic Verification of Quantum Programs" accepted for FM 2023
The paper "symQV: Automated Symbolic Verification of Quantum Programs", authored by Fabian Bauer-Marquart, Stefan Leue and Christian Schilling (Aalborg) has been accepted for presentation and publication at the 25th Symposium on Formal Methods, FM 2023, in Lübeck, Germany.
The paper "symQV: Automated Symbolic Verification of Quantum Programs", authored by Fabian Bauer-Marquart, Stefan Leue and Christian Schilling (Aalborg) has been accepted for presentation and publication at the 25th Symposium on Formal Methods, FM 2023, in Lübeck, Germany.