Browsing Licentiat theses / Licentiatavhandlingar by Subject "model checking"
Now showing items 1-1 of 1
-
Analysing normative contracts - On the semantic gap between natural and formal languages
(2015)Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ...