Reasoning About Exceptions to Contracts

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Computational Logic in Multi-Agent Systems (CLIMA XII)
Pages	225-242
Number of pages	18
Volume	6814
DOIs	https://doi.org/10.1007/978-3-642-22359-4_16
Publication status	Published - 2011

Name	LNCS

Access to Document

@inproceedings{bcb97875829848ee82e9954f2d01eaa0,

title = "Reasoning About Exceptions to Contracts",

author = "Ozgur Kafali and Francesca Toni and Paolo Torroni",

year = "2011",

doi = "10.1007/978-3-642-22359-4\_16",

language = "English",

volume = "6814",

series = "LNCS",

pages = "225--242",

booktitle = "Computational Logic in Multi-Agent Systems (CLIMA XII)",

}