@conference{AMPPZ:LICS:22,
 author    = {Martin Avanzini and
                  Georg Moser and
                  Romain P{\'{e}}choux and
                  Simon Perdrix and
                  Vladimir Zamdzhiev},
 title     = {Quantum Expectation Transformers for Cost Analysis},
 year      = {2022},
 booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, Haifa, Israel, August 2 - 5, 2022},
 pages     = {10:1--10:13},
 publisher = {{ACM}},
 doi       = {10.1145/3531130.3533332},
 keywords  = {conference}
}