Michal Jakob, Michal Pechoucek, Simon Miles, Michael Luck. Case studies for contract-based systems. In Michael Berger, Bernard Burg, Satoshi Nishiyama, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Industry and Applications Track Proceedings. pages 55-62, IFAAMAS, 2008. [doi]
Abstract is missing.