講演・口頭発表等

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

Relatively Complete Refinement Types from Counterexamples

NII Shonan Meeting Seminar 005: Automated Techniques for Higher-Order Program Verification
  • Tachio Terauchi

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