Browsing Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik by Subject "contract analysis"
Now showing items 1-1 of 1
-
Contracts and Computation — Formal modelling and analysis for normative natural language
(2017-10-11)Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ...