1. 14
    Are we there yet? 20 years of industrial, theorem proving with SPARK (2014) pdf compsci programming security spark-2014.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

  1.