qrat

2024

1. SFPVV

   An Executable Operational Semantics of Quantum Programs and Its Application

   Canh Minh Do, and Kazuhiro Ogata

   In The 1st International Symposium on Software Fault Prevention, Verification, and Validation, Dec 2024

   DOI Bib

   @inproceedings{Canh24WP,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     title = {An Executable Operational Semantics of Quantum Programs and Its Application},
     booktitle = {The 1st International Symposium on Software Fault Prevention, Verification, and Validation},
     year = {2024}
   }