Formal Quantum Software Engineering. Introducing the Formal Methods of Software Engineering to Quantum Computing.

Carmelo R. Cartiere

Browse the full QCE paper archive.