Modifying Contracts with Larissa Aspects

David Stauch. Modifying Contracts with Larissa Aspects. Electronic Notes in Theoretical Computer Science, 203(4):125-140, 2008. [doi]

Abstract

Abstract is missing.