"SPARK and Abstract Interpretation—A White Paper" Rod Chapman, Praxis Critical Systems Limited, September 2001

(2001)

Languages mentioned