招待有り 国際会議 2015年9月 Predicate Refinement Heuristics in Program Verification with CEGAR NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages Tachio Terauchi 記述言語 英語 会議種別 口頭発表(招待・特別)