Noritaka Kobayashi is an author at The University of Osaka specializing in engineering, formal methods, and software design.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2002–2010
4
4
Rows per page
1–4 of 4