講演・口頭発表等

2018年3月

Dependent Temporal Effects and Fixpoint Logic for Verification (Poster Presentation)

ソフトウェア科学会 第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
  • Yoji Nanjo
    • ,
  • Hiroshi Unno
    • ,
  • Eric Koskinen
    • ,
  • Tachio Terauchi
記述言語
日本語
会議種別
ポスター発表
講演・口頭発表等リストへ