: An Action-Based Logic for Reasoning about Contracts.

Cristian Prisacariu, Gerardo Schneider

Browse the full WoLLIC paper archive.