Search results for: K. Rustan M. Leino
IEEE Software > 2017 > 34 > 6 > 94 - 97
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 682-696
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Invited Speakers > 35-35
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verification Techniques > 157-168
Lecture Notes in Computer Science > Programming Languages and Systems > Program Verification > 307-321
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 312-327
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Assertional Methods > 364-387
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 500-517
Lecture Notes in Computer Science > Programming Languages and Systems > Parallel and Concurrent Programming > 378-393
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Methodology > 192-208
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 9. Invited Talk: K. Rustan M. Leino > 345-345
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Contributions > 2-2
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Heap and Shape Analysis > 147-163
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Programming Language and Methodology Aspects > 144-152