👤

Mitsuhiro Okada

4 books

Books by Mitsuhiro Okada

Advances in Mathematical Logic
Advances in Mathematical Logic
2021
Formal to Practical Security
Formal to Practical Security
2009
Formal To Practical Security Papers Issued From The 20052008 Frenchjapanese Collaboration
Formal To Practical Security Papers Issued From The 20052008 Frenchjapanese Collaboration
2009
Software Security -- Theories
Software Security -- Theories and Systems
2003