List of works
学位論文
[1] 花田 健太郎, "ラウンドトリップエンジニアリングのためのソフトウェア制約記述言語双方向変換," 修士学位論文, 大阪大学, 2013年.