Case studies for contract-based systems

Jakob, M., Pěchouček, M.

JAKOB, M. and M. PĚCHOUČEK. Case studies for contract-based systems. In: AAMAS 2008 Conference Proceedings. The Seventh International Conference on Autonomous Agents and Multiagent Systems, Estoril, 2008-05-12/2008-05-16. New York: ACM Press, 2008. pp. 55-62. ISBN 978-0-9817381-0-9. Available from: http://dl.acm.org/citation.cfm?id=1402806

URL: http://dl.acm.org/citation.cfm?id=1402806