講演・口頭発表等

招待有り 国際会議
2015年9月

Predicate Refinement Heuristics in Program Verification with CEGAR

NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages
  • Tachio Terauchi

記述言語
英語
会議種別
口頭発表(招待・特別)