"SPARK and Abstract Interpretation—A White Paper" Rod Chapman, Praxis Critical Systems Limited, September 2001
(2001)
Languages mentioned
SPARK95
{1999} Provable Ada95