講演・口頭発表等

招待有り 国際会議
2016年3月

Temporal Verification of Higher-Order Functional Programs

Dagstuhl Seminar 16131: Language Based Verification Tools for Functional Programs
  • Tachio Terauchi

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