K. Rustan M. Leino,Microsoft,Software Engineering,Programming Languages,Algorithms & Theory

Profile - K. Rustan M. Leino
K. Rustan M. Leino
Publications: 147 | Citations: 5718
Fields: Software EngineeringProgramming LanguagesAlgorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with  161 co-authors from 1992 to 2012 | Cited by 2505 authors
Cumulative Annual
Sort by:

Publications (147)
BibTeX | RIS | RefWorks Download

Sort by: