CiNii Researchの本公開について

Semi-Formal Verification with Supporting Tool by Automatic Application of Hoare Logic

書誌事項

タイトル
Semi-Formal Verification with Supporting Tool by Automatic Application of Hoare Logic
著者
Shingo Fukuoka, Yixiang Chen, Shaoying Liu

収録刊行物

被引用文献 (0)

もっと見る

参考文献 (0)

もっと見る

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1010000782280795525
  • 資料種別
    journal article
  • データソース種別
    • KAKEN
ページトップへ