List of works
国際会議
[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.