TY  - RPRT
TI  - Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing
AU  - Carmelo R. Cartiere
PY  - 2021
UR  - https://arxiv.org/abs/2111.08426
ID  - 2111.08426
ER  -