Automatic Conflict Detection on Contracts.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Browse the full ICTAC paper archive.