Publications

1 Result
Date Inputs. Currently set to enter a start and end date.
–
Current Filters Clear all
Publication Type Year

Quantum Algorithm Verification Using Prove-It

Cis Eab

Wayne Witzel, Kenneth Michael Rudinger, Robert Carr, Joaquin Emilio Madrid Larranaga, Jamie Joann Wingo, Warren Craft, Deepak Kapur, Mohan Sarovar

https://www.osti.gov/search/identifier:1807159

Display or Poster (non-conference) – 2019 Display or Poster (non-conference) 2019
Document Title Type Year