K. Rustan M. Leino

K. Rustan M. Leino

1 ספרים במאגר

ספרים

Program ProofsK. Rustan M. Leino

K. Rustan M. Leino · 2023

ספרים משותפים ואוספים

ספרים שבהם K. Rustan M. Leino מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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