# Program Proofs

Canonical: https://www.bookquiver.com/k-rustan-m-leino/program-proofs

![Program Proofs](https://quivercdn.com/covers/the-mit-press/k-rustan-m-leino/program-proofs_978-02-6254-623-2.jpg?v=2026-06-01%2023%3A00%3A31)

- Authors: [K. Rustan M. Leino](https://www.bookquiver.com/k-rustan-m-leino), [Kaleb Leino](https://www.bookquiver.com/kaleb-leino)
- Language: en_US
- Published: 2023-03-07

## Description

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs...

## Editions

### Program Proofs

- Publisher: the_mit_press
- ISBN: 978-02-6254-623-2
- Pages: 496
- Published: 2023-03-07
- Language: en_US