VDM specification language

1. REDIRECT Vienna Development Method

{{Redirect category shell|1=

{{R from merge}}

}}