Objectives of the British standardisation of a language to support the Vienna development method—The BSI VDM specification language standardisation panel—United Kingdom
Authors:
D Sen
Affiliations:
-
Venue:
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work