複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/周青/3629716
複製
複製成功

周青

（中山大學軟件研究所副教授）

鎖定
周青，男，1952年1月生，湖南新化人，1992年畢業於美國明尼蘇達大學，中山大學軟件研究所副教授。
中文名
周青
職    稱
中山大學軟件研究所副教授
撰有《Hilog的悖論》(《計算機學報》1996第10期)、《關於程序驗證方法的討論》(《計算機科學》1995年第3期)、《程序正確性驗證的定義及方法》《(中山大學學報)1993年增刊》等。