ISO/IEC 13817-1
Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language
Informationstechnik - Programmiersprachen, ihre Umgebungen und System-Software-Schnittstellen - Sprachbeschreibungsmethode VDM/SL - Teil 1: Basissprache
Responsible national committee
NA 043-01-22 AA - Programming languages
Responsible international committee
ISO/IEC JTC 1/SC 22 - Programming languages, their environments and system software interfaces