SPARK Annotation Language

SPARK Annotation Language

(language)
(SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.
Mentioned in ?