K. Rustan M. Leino

Identifiers

Open LibraryOL9582951A

Top Subjects

Computer programs (1)

Books by K. Rustan M. Leino

Total count: 3

Verification, Model Checking, and Abstract Interpretation17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Springer London, Limited2015-01-01
Computer Aided Verification33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part II

Springer International Publishing AG2021-01-01
Program Proofs

MIT Press2023-01-01