%0 Journal Article
%T Reasoning about faulty quantum programs
%A Zuliani, Paolo
%J Acta Informatica
%V 46
%N 6
%P 403-432
%@ 0001-5903
%D 2009-07-31
%I Springer-Verlag
%~ DeepDyve