Shin Sahara

[email protected]

Tokyo Lecturer in Graduate School of Computer and Information Sciences at Hosei University. The first developer of formal method in the Japanese industrial world.