論文

2022年9月

SCameleer: スマートコントラクト記述言語SCamlのための自動検証器

日本ソフトウェア科学会 第39回大会講演論文集
  • 服部 佑哉
    • ,
  • 西田 雄気
    • ,
  • 古瀬 淳
    • ,
  • 末永 幸平
    • ,
  • 五十嵐 淳
記述言語
日本語
掲載種別
研究論文（研究会，シンポジウム資料等）
エクスポート
BibTeX RIS
論文リストへ