Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

K. Rustan M. Leino | lit.salon

Author

K. Rustan M. Leino

3 works

2015–2023 across 3 dated works

No biography is available yet.

Start with

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings2015
With Barbara Jobstmann
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part I2021
With Alexandra Silva
Program Proofs2023
With Kaleb Leino

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Program Proofs2023
With Kaleb Leino
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings2015
With Barbara Jobstmann
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part I2021
With Alexandra Silva
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around K. Rustan M. Leino.

The conversation is still open.

There is no public salon activity to show for K. Rustan M. Leino yet.