作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
源程序正确性的检查方法
金曙白
. 1983, (02): 46 -52 .