Search results for: Bor-Yuh Evan Chang
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Assertional Methods > 364-387
Lecture Notes in Computer Science > Static Analysis > Session 5 > 318-335
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 184-198
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Heap and Shape Analysis > 147-163
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 174-189
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 2 > 175-190
Electronic Notes in Theoretical Computer Science > 2007 > 180 > 3 > 15-30