Home» News» News» 11月21日 应明生教授报告

News

11月21日 应明生教授报告

发布日期：2023-11-24 作者：

11月21日 应明生教授做了题为《Quantum Hoare logic and its applications》的报告。