Books by K.Rustan M. Leino

K. Rustan M. Leino is a computer scientist and researcher known for his work on program verification and programming languages. His most famous work, "Verification of Object-Oriented Software: The KeY Approach," revolutionized the field with its innovative methods and techniques. Leino's writing style is clear, precise, and influential in the academic community.