Minkowitz, C. and Henderson, P. (1987) A Formal Description of Object-Oriented Programming Using VDM. Airchinnigh, M. Mac an, Bjørner, D., Jones, C. B. and Neuhold, E. J. (eds.) VDM-Europe Symposium on VDM - A Formal Method at Work, LNCS 252. pp. 237-259 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: March 1987
Additional Information:
Address: Brussels, Belgium
Venue - Dates:
VDM-Europe Symposium on VDM - A Formal Method at Work, LNCS 252, 1987-03-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253118
URI: http://eprints.soton.ac.uk/id/eprint/253118
ISBN: ISBN 3-540-17654-3
PURE UUID: d66e5207-0f3d-4ab4-ba93-e851669b3436
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:31
Export record
Contributors
Author:
C. Minkowitz
Author:
P. Henderson
Editor:
M. Mac an Airchinnigh
Editor:
D. Bjørner
Editor:
C. B. Jones
Editor:
E. J. Neuhold
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.