List of works
解説
[1]
中島 震, 鵜林 尚靖, "
Alloy: 自動解析可能なモデル規範形式仕様言語
," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 26, number 3, pages 78-83, 2009年.