Login / Signup
Yojiro Kawamata
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
Yojiro Kawamata
,
Christian Sommer
,
Fuyuki Ishikawa
,
Shinichi Honiden
Specifying and Checking Refinement Relationships in VDM++.
SEFM
(2009)