Tao, Runzhou, Shi, Yunong, Yao, Jianan, Li, Xupeng, Javadi-Abhari, Ali, Cross, Andrew W., Chong, Frederic T., and Gu, Ronghui. Giallar: push-button verification for the qiskit Quantum compiler. Retrieved from https://par.nsf.gov/biblio/10439465. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Web. doi:10.1145/3519939.3523431.

Tao, Runzhou, Shi, Yunong, Yao, Jianan, Li, Xupeng, Javadi-Abhari, Ali, Cross, Andrew W., Chong, Frederic T., & Gu, Ronghui. Giallar: push-button verification for the qiskit Quantum compiler. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (). Retrieved from https://par.nsf.gov/biblio/10439465. https://doi.org/10.1145/3519939.3523431

Tao, Runzhou, Shi, Yunong, Yao, Jianan, Li, Xupeng, Javadi-Abhari, Ali, Cross, Andrew W., Chong, Frederic T., and Gu, Ronghui. "Giallar: push-button verification for the qiskit Quantum compiler". Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (). Country unknown/Code not available. https://doi.org/10.1145/3519939.3523431. https://par.nsf.gov/biblio/10439465.

@article{osti_10439465,
place = {Country unknown/Code not available}, title = {Giallar: push-button verification for the qiskit Quantum compiler}, url = {https://par.nsf.gov/biblio/10439465}, DOI = {10.1145/3519939.3523431}, abstractNote = {}, journal = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation}, author = {Tao, Runzhou and Shi, Yunong and Yao, Jianan and Li, Xupeng and Javadi-Abhari, Ali and Cross, Andrew W. and Chong, Frederic T. and Gu, Ronghui}, }