Vol-3279⫷ Vol-3280 ⫸Vol-3281
urn:nbn:de:0074-3280-0


Vol-3280/xpreface⫷Vol-3280/invited1⫸Vol-3280/paper1
Yuxin Deng

Invited talk: Formal Verification of Quantum Protocols