国際会議

[1] Kiyoyuki Miyazawa, Kozo Okano, and Shinji Kusumoto, "Lasp - a Learning Assistant System for Formal Proof," In International Workshop on INformatics, IWIN 2011, pages 158-165, September 2011.

国内会議(査読付き)

[1] 宮澤清介, 岡野浩三, 楠本真二 , "フォーマルアプローチの基本技術習得のための学習支援システムの試作," ソフトウェアエンジニアリング最前線2009, pages 69-74, 2009年9月. [SES2009_MiyazawaKiyoyuki.pdf]