%0 Journal Article
%T 纪念Pnueli教授：一位信息科学领域的开拓者和“拯救者”
%A 王飞跃
%J 科技导报
%P 123-123
%D 2010
%U http://www.kjdb.org/CN/abstract/abstract2594.shtml