Statistics
Publications
1
Citations
58
H-Index
1
Active since
1983
Affiliations
Mitsubishi Electric (Japan)(Current)
Kasuko Takahashi is an author at Mitsubishi Electric (Japan) specializing in engineering, formal methods, and formal verification.
Publications per year
1983–1983
1
1