プログラム変更に対する正当性検証技法と分割技法の適用

書誌事項

タイトル別名
  • プログラム ヘンコウ ニ タイスル セイトウセイ ケンショウ ギホウ ト ブン

この論文をさがす

抄録

記事分類: データ処理・計算機器--ソフトウェア

収録刊行物

被引用文献 (5)*注記

もっと見る

参考文献 (15)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ