Media type: E-Book Title: symQV : Automated Symbolic Verification of Quantum Programs Contributor: Bauer-Marquart, Fabian [Author]; Leue, Stefan [Author]; Schilling, Christian [Author] Published: Konstanz: KOPS Universität Konstanz, 2023 Extent: 1 Online-Ressource Language: English Identifier: Origination: Footnote: In: Formal Methods : 25th International Symposium, FM 2023, Proceedings / Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin (Hrsg.). - Cham : Springer, 2023. - (Lecture Notes in Computer Science ; 14000). - S. 181-198. - ISBN 978-3-031-27480-0 Access State: Open Access