Inductive Temporal Formula Specifications for System Verification

書誌事項

タイトル
Inductive Temporal Formula Specifications for System Verification
著者
Chikatoshi Yamada and Yasunori Nagata

収録刊行物

関連プロジェクト

もっと見る

詳細情報

  • CRID
    1010282257413594375
  • 資料種別
    journal article
  • データソース種別
    • KAKEN

問題の指摘

ページトップへ