Vol-3007⫷ Vol-3008 ⫸Vol-3009
urn:nbn:de:0074-3008-0


Vol-3008/short4⫷Vol-3008/short5⫸Vol-3008/paper3
Carmelo R. Cartiere

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