Publications Details

Quantum Algorithm Verification Using Prove-It

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

Abstract not provided.