引用本文: | 卜磊, 陈振邦. 程序语义深度理解前沿进展专题前言[J]. 计算机研究与发展, 2023, 60(2): 225-226. DOI: 10.7544/issn1000-1239.qy20230201 |
Citation: | Bu Lei, Chen Zhenbang. Preface of Special Issue on Advances in Deep Understanding of Program Semantics[J]. Journal of Computer Research and Development, 2023, 60(2): 225-226. DOI: 10.7544/issn1000-1239.qy20230201 |