講演・口頭発表等

国際会議
2015年11月

Verification of Object-Oriented Programs via Refinement Types (Poster presentation)

The 13th Asian Symposium on Programming Languages and Systems (APLAS 2015)
  • Nam Mai
  • ,
  • Tachio Terauchi

記述言語
英語
会議種別
ポスター発表