17
Publications
664
Citations
14
H-Index
2006
Active since
Hiroshi Unno is an author at University of Tsukuba specializing in formal verification, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisFormal SpecificationSystems Engineering
Publications per year
2006–2023
17
17
Rows per page
1–5 of 17