@unpublished{Olmedo:2020:PLanQC,

author = {Olmedo, Federico and D\'{\i}az-Caro, Alejandro},

title = {Runtime Analysis of Quantum Programs: A Formal Approach},

year = {2020},

howpublished = {1st International Workshop on Programming Languages for Quantum Computing}

}