Table of Contents - ITU-T Rec. Z.100 Annex F2 (10/2019) Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics

Annex F2 – SDL‑2010 formal definition: Static semantics
       F2.1     General information for the static semantics
       F2.2     Static semantics
       F2.3     Transformation of SDL‑2010 shorthands