Sign in
Cydney Minkowitz
Publication Activity (10 Years)
Years Active: 1987-2010
Publications (10 Years): 0
</>
Publications
</>
Cydney Minkowitz
Formal Specification for Design Diversity: Two Case Histories, One Approach.
ADBIS (Local Proceedings)
(2010)
Cydney Minkowitz
,
Peter B. Henderson
A Formal Description of Object-Oriented Programming Using VDM.
VDM Europe
(1987)