K Rustan M Leino

K Rustan M Leino has written at least 1 book. Their most popular book is Program Proofs with 2 saves with an average rating of -⭐.