leino.science
Rustan Leino is a computer scientist
Home
Short bio
In the press
Talks
Dafny Power User
Thinking puzzles
Music
Miscellany
Links
© 2020-2026, K.R.M. Leino
Book:
Program Proofs
