研究会・全国大会等
[1] 堂園 隼人, 橋本 正明, 鵜林 尚靖, 片峯 恵一, "SPINによる仕様記述言語の検証," 電子情報通信学会 信学技報 KBSE2005-8, pages 19-24, 2005年.