Introducing Software Verification with Dafny Language: Provi
Boro Sitnikovski
评分 暂无
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigor
