Big Books of 2026

Join the Goodreads Author Program

Are you K Rustan M Leino, author of the books below?
Program Proofs by K Rustan M Leino Tools and Algorithms for the Construction and Analysis of Sys... by Parosh Aziz Abdulla


To join the author program as K Rustan M Leino, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads