correctness proofs

• Blog about static verification of software
  by Helmut Brandl (modified: 2012 Jun 04)

  Tags:
  • static verification
  • correctness proofs