Introducing Software Verification with Dafny Language: Proving Program Correctness

  • 1h 21m
  • Boro Sitnikovski
  • Apress
  • 2022
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny.