1
Publications
15
Citations
1
H-Index
1990
Active since
Kenjiroh Yamanaka is an author specializing in automated reasoning, formal verification, and formal specification.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningFormal VerificationFormal Specification
Publications per year
1990–1990
1
1
Incremental specification in LOTOS
Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato · 1990 · 15 citations
Specification Language, Formal Specification, Engineering +7
Rows per page
1–1 of 1