Skip to content

A Formal Description of Object-Oriented Programming Using VDM.

Cydney Minkowitz, Peter B. Henderson

VenueBFM
Year1987
ProceedingsVDM Europe

Browse the full FM paper archive.