Masaomi Yamaguchi, Nobukazu Yoshioka. Design by Contract Framework for Quantum Software. In 4th IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023. pages 24-25, IEEE, 2023. [doi]
Abstract is missing.