Fingerprint
Dive into the research topics of 'Formal modelling and verification of compensating web transactions'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal modelling and verification of compensating web transactions
Shirshendu Das, Shounak Chakraborty, Hemangee K. Kapoor, Ka Lok Man
Research output: Chapter in Book or Report/Conference proceeding › Chapter › peer-review