Publications

Quantum Algorithm Verification Using Prove-It

Witzel, Wayne W.; Rudinger, Kenneth M.; Carr, Robert C.; Madrid Larranaga, Joaquin E.; Wingo, Jamie; Craft, Warren C.; Kapur, Deepak K.; Sarovar, Mohan S.

Abstract not provided.