Reasoning About Partial Contracts.

Shaun Azzopardi, Albert Gatt, Gordon J. Pace

Browse the full JURIX paper archive.