引用人
古尔丁L Bonneau B公司 博尔梅(BoulméS) Monniaux D公司 贝拉德A (2023) 用块模拟形式验证优化 美国计算机学会程序设计语言论文集 10.1145/3622799 7 :OOPSLA2 (59-88) 在线发布日期:2023年10月16日 Monniaux D公司 古尔丁L 博尔梅(BoulméS) Lebeltel O公司 (2023) 测试经过正式验证的编译器 测试和证明 10.1007/978-3-031-38828-6_3 (40-48) 在线发布日期:2023年7月18日