Some Books#
And some books:
K. Rustan M. Leino, 2023, Program Proofs, available March, 2023.
K. Rustan M. Leino and Kaleb Leino, 2020, Program Proofs. Draft version of the book being published by MIT Press, available only until its release in March 2023.
Boro Sitnovski, 2022, Introducing Software Verification with Dafny Language
Jason Koenig, K. Rustan M. Leino, 2016, Getting Started with Dafny: A Guide