Specifying and Verifying Web Transactions.

Jing Li, Huibiao Zhu, Jifeng He

Browse the full FORTE paper archive.