menu

Home
Topics
Download
Help
Statistics
About

Contribution

Naijun Zhan

This is an unofficial reimagining of the Archive of Formal Proofs

2019

Quantum Hoare Logic
by Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan

24 Mar