Reasoning About Exceptions to Contracts

Ozgur Kafali, Francesca Toni, Paolo Torroni

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationComputational Logic in Multi-Agent Systems (CLIMA XII)
Pages225-242
Number of pages18
Volume6814
DOIs
Publication statusPublished - 2011

Publication series

NameLNCS

Cite this