Model Checking-based Verification of Web Application.

Huaikou Miao, Hongwei Zeng

Browse the full ICECCS paper archive.