Login
中文
K Rustan M Leino
HIndex: 29
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Type system
Theory of computation
Functional verification
Static analysis
Object-oriented programming
Requirements analysis
First-order logic
Logic
Software Engineering
Verification
Specification
Intermediate language
Verification and validation
Programming language
Automated theorem proving
Computer Science
Software verification
Predicate transformer semantics
Formal methods
Software development
Computer hardware
Reliability
Satisfiability Modulo Theories
Data structure
Invariant
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Type system
Theory of computation
Functional verification
Static analysis
Object-oriented programming
Requirements analysis
First-order logic
Logic
Software Engineering
Verification
Specification
Intermediate language
Verification and validation
Programming language
Automated theorem proving
Computer Science
Software verification
Predicate transformer semantics
Formal methods
Software development
Computer hardware
Reliability
Satisfiability Modulo Theories
Data structure
Invariant
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
K Rustan M Leino
California Institute Of Technology
140
×
Share to your followers
Submit