Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, Paola Spoletini. A formal approach supporting the specification and verification of business conversation requirements. In Nuno Guimarães, Pedro T. Isaías, editors, AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, 2 Volumes. pages 467-478, IADIS, 2005.
No references recorded for this publication.
No citations of this publication recorded.