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.