講演・口頭発表等

招待有り 国際会議
2012年5月

Automated Verification of Higher-Order Functional Programs

The 11th International Symposium on Functional and Logic Programming (FLOPS 2012)
  • Tachio Terauchi

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