Checking correctness of business contracts via commitments (2008)

by N Desai, N C Narendra, M P Singh
Venue:in ‘Proc. AAMAS