Login / Signup
Shin Sahara
Publication Activity (10 Years)
Years Active: 2008-2008
Publications (10 Years): 0
</>
Publications
</>
John S. Fitzgerald
,
Peter Gorm Larsen
,
Shin Sahara
VDMTools: advances in support for formal modeling in VDM.
ACM SIGPLAN Notices
43 (2) (2008)