Login / Signup
Yuko Kitahama
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
Kozo Okano
,
Yuko Kitahama
,
Akira Kitajima
,
Teruo Higashino
,
Kenichi Taniguchi
Formal Verification of CPU in Laboratory Work.
MSE
(2001)