@inproceedings{AMPP:QPL:24,
 author    = {Martin Avanzini and Georg Moser and Romain Péchoux and Simon Perdrix},
 title     = {On the Hardness of Analyzing Quantum Programs Quantitatively},
 year      = {2024},
 booktitle = {Quantum Physics and Logic 2024},
 keywords  = {workshop}
}