%0 Journal Article %1 journals/jss/LongZ24 %A Long, Peixun %A Zhao, Jianjun %D 2024 %J J. Syst. Softw. %K dblp %P 112000 %T Equivalence, identity, and unitarity checking in black-box testing of quantum programs. %U http://dblp.uni-trier.de/db/journals/jss/jss211.html#LongZ24 %V 211

@article{journals/jss/LongZ24, added-at = {2024-05-31T00:00:00.000+0200}, author = {Long, Peixun and Zhao, Jianjun}, biburl = {https://www.bibsonomy.org/bibtex/2ad51466ac8051fc446dffd990f27f507/dblp}, ee = {https://doi.org/10.1016/j.jss.2024.112000}, interhash = {2eab1a26fc6b55830c134ae904f08ba7}, intrahash = {ad51466ac8051fc446dffd990f27f507}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = 112000, timestamp = {2024-06-03T07:14:01.000+0200}, title = {Equivalence, identity, and unitarity checking in black-box testing of quantum programs.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss211.html#LongZ24}, volume = 211, year = 2024 }