Hekmatpour, Sharam; Ince, Darrel. (1988). Software prototyping, formal methods and VDM / Sharam Hekmatpour, Darrel Ince. Wakingham, England :: Addison Wesley,.
Hekmatpour, Sharam; Ince, Darrel. Software prototyping, formal methods and VDM / Sharam Hekmatpour, Darrel Ince. Wakingham, England :: Addison Wesley,, 1988
Hekmatpour, Sharam; Ince, Darrel. Software prototyping, formal methods and VDM / Sharam Hekmatpour, Darrel Ince. Wakingham, England :: Addison Wesley,, 1988.