K. Rustan M. Leino

K. Rustan M. Leino

1 books in the database

Books

Program ProofsK. Rustan M. Leino

K. Rustan M. Leino · 2023

Co-authored books and collections

Books that list K. Rustan M. Leino among their authors but not as the lead author: co-written works, collections and compilations.

Computer Aided VerificationAlexandra Silva

Computer Aided Verification

Alexandra Silva · 2021

Verification, Model Checking, and Abstract InterpretationBarbara Jobstmann

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann · 2015