x
MegaLexica
Computer Dictionary of Information Technology
law dictionary
legal abbreviations
legal dictionary
medical dictionary
Tech Glossary
~
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Disclaimer
Terms of Use
Privacy Policy
Contact Us
SPARK Annotation Language
(
SAL
)
ICL
, Ltd. Used
in
the
verification
of
SPARK
programs
against
Z
specifications
.