Search results for: G. Ramalingam
Anaesthesia > 75 > 1 > 21 - 26
Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation I > 220-236
Ceramics International > 2016 > 42 > 9 > 11136- 11149
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 3-18
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstract Interpretation > 157-173
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verifying Object-Oriented Programming > 82-92
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Heap and Shape Analysis > 181-198
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 273-292
Lecture Notes in Computer Science > TAPSOFT '91 > 137-152
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
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Journal of Saudi Chemical Society > 2014 > 18 > 3 > 227-233
Journal of Colloid And Interface Science > 2012 > 377 > 1 > 375-378
Journal of Hazardous Materials > 2012 > 221-222 > Complete > 242-247
Science of Computer Programming > 2012 > 77 > 6 > 743-759