%0 Conference Paper %1 conf/esop/AvanziniMPP24 %A Avanzini, Martin %A Moser, Georg %A Péchoux, Romain %A Perdrix, Simon %B ESOP (2) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 31-58 %T On the Hardness of Analyzing Quantum Programs Quantitatively. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-2.html#AvanziniMPP24 %V 14577 %@ 978-3-031-57267-8

@inproceedings{conf/esop/AvanziniMPP24, added-at = {2024-05-17T00:00:00.000+0200}, author = {Avanzini, Martin and Moser, Georg and Péchoux, Romain and Perdrix, Simon}, biburl = {https://www.bibsonomy.org/bibtex/2100b4edebd071045ae40f30d1e8ddc31/dblp}, booktitle = {ESOP (2)}, crossref = {conf/esop/2024-2}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57267-8_2}, interhash = {7cb7a5216756694bf86318cea118a440}, intrahash = {100b4edebd071045ae40f30d1e8ddc31}, isbn = {978-3-031-57267-8}, keywords = {dblp}, pages = {31-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-20T07:24:02.000+0200}, title = {On the Hardness of Analyzing Quantum Programs Quantitatively.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-2.html#AvanziniMPP24}, volume = 14577, year = 2024 }