講演・口頭発表等

招待有り
2021年10月

Constraint-based Relational Verification

Workshop on Hyperproperties: Advances in Theory and Practice (HYPER 2021)
  • Tachio Terauchi
記述言語
英語
会議種別
口頭発表（招待・特別）
講演・口頭発表等リストへ