Login / Signup
Jérôme Loubersac
Publication Activity (10 Years)
Years Active: 1991-1996
Publications (10 Years): 0
</>
Publications
</>
Jeremy Dick
,
Jérôme Loubersac
A Visual Approach to VDM.
SOFSEM
(1996)
Jeremy Dick
,
Jérôme Loubersac
The Visual Presentation of VDM Specifications.
VDM Europe (1)
(1991)
Jeremy Dick
,
Jérôme Loubersac
Integrating Structured and Formal Methods: A Visual Approach to VDM.
ESEC
(1991)