SPARK Annotation Language

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

Last updated: 1994-12-08


Loading