Cezary Kaliszyk

Hietala, K. ., Rand, R. ., Hung, S.-H. ., Li, L. ., & Hicks, M. . (2021). Proving Quantum Programs Correct. 12th International Conference on Interactive Theorem Proving (ITP 2021), 193, 21:1–21:19. http://doi.org/10.4230/LIPIcs.ITP.2021.21 (Original work published June 2021)