M. Shibasaki is an author at NTT (Japan) specializing in system software, formal specification, and software systems.
Top concepts
CompilersProtocolsEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSoftware SystemsOperating Systems
Publications per year
1991–1995
2
2
Katsumi Nitta, M. Shibasaki, Tsuyoshi Sakata et al. · 1995 · 25 citations · Full text
Rows per page
1–2 of 2