Keijiro Araki

• Formal methods
• IFM'99
• RIMS Symposium on Software Science and Engineering II
• Theoretical Aspects of Computing - ICTAC 2004