Jort Martinus Bergfeld

Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs

Joshua Sack, Jort Martinus Bergfeld, J. Sack, 2017, Soft Comput..