Wyniki wyszukiwania dla: R Manevich
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 3-18
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verifying Object-Oriented Programming > 82-92
Lecture Notes in Computer Science > Static Analysis > 196-212
Lecture Notes in Computer Science > Computer Aided Verification > Session 10: Program and Shape Analysis > 399-413