%0 Conference Paper %1 conf/icse/Honarvar0N20 %A Honarvar, Shahin %A Mousavi, Mohammad Reza %A Nagarajan, Rajagopal %B ICSE (Workshops) %D 2020 %I ACM %K dblp %P 430-435 %T Property-based Testing of Quantum Programs in Q#. %U http://dblp.uni-trier.de/db/conf/icse/icse2020w.html#Honarvar0N20 %@ 978-1-4503-7963-2

@inproceedings{conf/icse/Honarvar0N20, added-at = {2020-10-16T00:00:00.000+0200}, author = {Honarvar, Shahin and Mousavi, Mohammad Reza and Nagarajan, Rajagopal}, biburl = {https://www.bibsonomy.org/bibtex/250920291ac6d2d6c80debc255ddd94b4/dblp}, booktitle = {ICSE (Workshops)}, crossref = {conf/icse/2020w}, ee = {https://doi.org/10.1145/3387940.3391459}, interhash = {bbd9d1cd062cb34c5492074ccf0211ca}, intrahash = {50920291ac6d2d6c80debc255ddd94b4}, isbn = {978-1-4503-7963-2}, keywords = {dblp}, pages = {430-435}, publisher = {ACM}, timestamp = {2020-10-17T11:35:18.000+0200}, title = {Property-based Testing of Quantum Programs in Q#.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2020w.html#Honarvar0N20}, year = 2020 }