Model Checking Correctness Properties of Electronic Contracts.

Ellis Solaiman, Carlos Molina-Jimnez, Santosh K. Shrivastava

Browse the full ICSOC paper archive.