川原林 隆


代数的仕様記述に基づいたソフトウェアの正当性証明システム
川原林 隆 太田 義勝 大山口 通夫 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/06/25
Vol. J66-D  No. 6  pp. 691-698
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(646.3KB)