3. Presentation Language
Not all defined sections of the presentation language are relevant for the Tamarin model. Only the relevant parts are described in detail in the following subsections.# 3.7. Constants.
Not all defined sections of the presentation language are relevant for the Tamarin model. Only the relevant parts are described in detail in the following subsections.# 3.7. Constants.