林 晋 (著), "プログラム検証論" 情報数学講座(8), 共立出版 (株), 211p, 3,296円, 1995, ISBN4-320-02658-6

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1996-03-15

著者

• 片岡 欣夫

  (株)東芝 研究開発センター

関連論文

• 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
• 派生開発におけるミューテーションテスト手法のシステムテストへの応用
• 林 晋 (著), "プログラム検証論" 情報数学講座(8), 共立出版 (株), 211p, 3,296円, 1995, ISBN4-320-02658-6

スポンサーリンク