Keijiro Araki

1954

• Formal methods
• RIMS symposia on software science and engineering II