Search the dblp DataBase

Publications of Author

1. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
   Automated Verification of Shape, Size and Bag Properties. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2007, pp:307-320 [Conf]
   
2. 
   A Specification Logic for Exceptions and Beyond. [Citation Graph (, )][DBLP]
   
   
3. 
   Multiple Pre/Post Specifications for Heap-Manipulating Methods. [Citation Graph (, )][DBLP]
   
   
4. 
   Translation and optimization for a core calculus with exceptions. [Citation Graph (, )][DBLP]
   
   
5. 
   Enhancing modular OO verification with separation logic. [Citation Graph (, )][DBLP]
   
   
6. 
   Automated Verification of Shape and Size Properties Via Separation Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   Automated Verification Using Unified Control Flows. [Citation Graph (, )][DBLP]