Mitsuhiro Okada · 5 obras en el catálogoObrasFormal To Practical Security Papers Issued From The 20052008 Frenchjapanese CollaborationAAdvances in Mathematical LogicAdvances in Mathematical LogicSSoftware Security -- Theories and SystemsSoftware Security -- Theories and SystemsFFormal to Practical SecurityFormal to Practical Security貞貞丈雜記/貞丈雜記/