講演・口頭発表等

2010年3月

Sound and Complete Validation of Graph Transformations

第12回プログラミングおよびプログラミング言語ワークショップ
  • 稲葉一浩
  • ,
  • 日高宗一郎
  • ,
  • 胡振江
  • ,
  • 加藤弘之
  • ,
  • 中野圭介

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