K. Rustan M. Leino

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 8

Top Topics

Programming Language

Selection Strategies

Integrated Development Environment

Theorem Proving

Top Venues

Publications