"SPARK95 — The SPADE Ada 95 Kernel" Praxis Critical Systems Limited, 1999.
(1999)
Languages mentioned
SPARK
{1990} Provable Ada
SPARK95
{1999} Provable Ada95