国際会議
[1] Suguru Shinotsuka, Naoyasu Ubayashi, Hideaki Shinomi, and Tetsuo Tamai, "An Extensible Contract Verifier for Aspectj," In 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006), pages 35-40, 2006.