Reasoning about Exceptions to Contracts (Q3092305)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reasoning about Exceptions to Contracts
scientific article

    Statements

    Identifiers