M
Mitsuhiro Okada
5 works on record
Works

Formal To Practical Security Papers Issued From The 20052008 Frenchjapanese Collaboration
Software Security -- Theories and Systems
Software Security -- Theories and Systems
2003
Advances in Mathematical Logic
Advances in Mathematical Logic
Formal to Practical Security
Formal to Practical Security
貞丈雜記/
貞丈雜記/