PanLinx
日本語
jpn-000
VDM
Deutsch
deu-000
Vienna Definition Language
English
eng-000
Vienna Development Method
українська
ukr-000
Віденський метод розробки
PanLex
