国際会議
[1] 鵜林 尚靖, 佐藤 友紀, 境 顕宏, 玉井 哲雄, "Alloy-Based Lightweight Verification for Aspect-Oriented Architecture," 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008), pages 171-178, 2008年.