Pacta sunt servanda: Legal contracts in
Silvia Crafà, Cosimo Laneve, Giovanni Sartor, Adele Veschetti
Topics & Concepts
Computer scienceCorrectnessConcurrencyProgramming languageSemantics (computer science)Set (abstract data type)Design by contractSoftwareSoftware developmentSoftware constructionMulti-Agent Systems and NegotiationArtificial Intelligence in LawLogic, Reasoning, and Knowledge