"The SPARK Way to Correctness is via Abstraction" John Barnes, Presented at Sig-Ada 2000.

(2000)

Languages mentioned