Automated Verification of Shape, Size and Bag Properties.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Browse the full ICECCS paper archive.