A Simplified Method for Automatic Verification of Java Programs.

Zhi Li, Ling Xie, Yilong Yang

Browse the full SEKE paper archive.