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