Publications Details
Quantum Algorithm Verification Using Prove-It
Witzel, Wayne W.; Rudinger, Kenneth M.; Carr, Robert; Madrid Larranaga, Joaquin E.; Wingo, Jamie; Craft, Warren; Kapur, Deepak; Sarovar, Mohan S.
Abstract not provided.
Witzel, Wayne W.; Rudinger, Kenneth M.; Carr, Robert; Madrid Larranaga, Joaquin E.; Wingo, Jamie; Craft, Warren; Kapur, Deepak; Sarovar, Mohan S.
Abstract not provided.