# K. Rustan M. Leino

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

- Books: 1
- Language: 1

## Books

- [Program Proofs](https://www.bookquiver.com/k-rustan-m-leino/program-proofs) — 2023-03-07