2019年9月
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Dagstuhl Seminar 19371: Deduction Beyond Satisfiability
- 記述言語
- 英語
- 会議種別
- 口頭発表（招待・特別）
寺内 多智弘
テラウチ タチオ (Tachio Terauchi)
更新日: 04/15