Reasoning about faulty quantum programs

Paolo Zuliani. Reasoning about faulty quantum programs. Acta Informatica, 46(6):403-432, 2009. [doi]

Abstract

Abstract is missing.