Beyond memory safety with the Ada SPARK programming language
Beyond memory safety with the Ada SPARK programming language
Kevin Chadwick