%0 Conference Paper %1 conf/fm/BauerMarquartLS23 %A Bauer-Marquart, Fabian %A Leue, Stefan %A Schilling, Christian %B FM %D 2023 %E Chechik, Marsha %E Katoen, Joost-Pieter %E Leucker, Martin %I Springer %K dblp %P 181-198 %T symQV: Automated Symbolic Verification of Quantum Programs. %U http://dblp.uni-trier.de/db/conf/fm/fm2023.html#BauerMarquartLS23 %V 14000 %@ 978-3-031-27481-7

@inproceedings{conf/fm/BauerMarquartLS23, added-at = {2023-03-11T00:00:00.000+0100}, author = {Bauer-Marquart, Fabian and Leue, Stefan and Schilling, Christian}, biburl = {https://www.bibsonomy.org/bibtex/290027a1af0502486e696b8cb738ec1be/dblp}, booktitle = {FM}, crossref = {conf/fm/2023}, editor = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-031-27481-7_12}, interhash = {7589b15471a31ba9ad271a634cac9b47}, intrahash = {90027a1af0502486e696b8cb738ec1be}, isbn = {978-3-031-27481-7}, keywords = {dblp}, pages = {181-198}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {symQV: Automated Symbolic Verification of Quantum Programs.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2023.html#BauerMarquartLS23}, volume = 14000, year = 2023 }