Non abbiamo ancora una biografia di Mitsuhiro Okada.
Pubblicato in Inglese · Giapponese · Cinese
Advances in Mathematical Logic
2023
Tōdai shōsetsu "Hankyō Sanjōshi" kō
2012
Tang dai xiao shuo "Banqiao Sanniangzi" kao
2019
Software Security -- Theories and Systems
2003
Formal to Practical Security
2009
Formal To Practical Security Papers Issued From The 20052008 Frenchjapanese Collaboration
Otium