@inproceedings{AMPPZ:QPL:22,
 author    = {Martin Avanzini and Georg Moser and Romain Péchoux and Simon Perdrix and Vladimir Zamdzhiev},
 title     = {Quantum Expectation Transformers for Cost Analysis},
 year      = {2022},
 booktitle = {Quantum Physics and Logic 2022},
 keywords  = {workshop}
}