Login / Signup
Koichi Shimizu
ORCID
Publication Activity (10 Years)
Years Active: 1990-2022
Publications (10 Years): 11
Top Topics
Type Checking
Head Mounted Display
Human Body
Virtual Space
Top Venues
EMBC
ISMICT
NBiS
FormaliSE@ICSE
</>
Publications
</>