Non abbiamo ancora una biografia di Keijiro Araki.
Pubblicato in Inglese
IFM'99
1999
Formal methods
2003
Theoretical Aspects of Computing - ICTAC 2004
2005
RIMS Symposium on Software Science and Engineering II
1986
RIMS symposia on software science and engineering II
Otium
