K. Rustan M. Leino

Person information

  • affiliation: Amazon Web Services
  • affiliation (former): Microsoft Research

Refine list

showing all ?? records

Journal Articles

Conference and Workshop Papers

Parts in Books or Collections

Editorship

Informal and Other Publications

Coauthor Index

a service of Schloss Dagstuhl - Leibniz Center for Informatics