Common use of Comput Clause in Contracts

Comput. Sci., 253(1):39– 55. ▇▇▇▇▇ ▇▇▇▇▇▇ ▇▇▇ Wright (1951). Deontic Logic. Mind, 60(237):1–15. Governatori, G. and ▇▇▇▇▇▇▇▇▇, Z. (2005). Dealing with contract violations: formalism and domain specific language. In EDOC Enterprise Computing Confer- ence, Ninth IEEE International, pages 46–57. IEEE Computer Society.

Comput. Sci., 253(1):39– 55253(1):39–55. [▇▇▇▇▇ ▇▇▇▇▇▇ ▇▇▇ Wright, 1951] ▇▇▇▇▇ ▇▇▇▇▇▇ ▇▇▇ Wright (1951). Deontic Logic. Mind, 60(237):1–15. [Governatori and ▇▇▇▇▇▇▇▇▇, 2005] Governatori, G. and ▇▇▇▇▇▇▇▇▇, Z. (2005). Dealing with contract violationsvi- olations: formalism and domain specific language. In EDOC Enterprise Computing Confer- enceConference, Ninth IEEE International, pages 46–57. IEEE Computer Society.

Comput. Sci., 253(1):39– 55253(1):39–55. [▇▇▇▇▇ ▇▇▇▇▇▇ ▇▇▇ Wright, 1951] ▇▇▇▇▇ ▇▇▇▇▇▇ ▇▇▇ Wright (1951). Deontic Logic. Mind, 60(237):1–15. [Governatori and ▇▇▇▇▇▇▇▇▇, 2005] Governatori, G. and ▇▇▇▇▇▇▇▇▇, Z. (2005). Dealing with contract violations: formalism and domain specific language. In EDOC Enterprise Computing Confer- enceConference, Ninth IEEE InternationalInterna- tional, pages 46–57. IEEE Computer Society.