Tra từ spark annotation language - Từ điển Máy Tính

History Search

Từ điển Máy Tính - Foldoc Dictionary

spark annotation language SPARK Annotation Language (language) (SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications. Last updated: 1994-12-08