第十二届中国数学会计算机数学大会 (CM2021)

P000069

基于Isabelle/HOL程序规范的C++代码生成  


东辰 蒋 (北京林业大学信息学院)
*博 许 (北京林业大学信息学院)


Math formula preview: