Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali. An abductive framework for a-priori verification of web services. In Annalisa Bossi, Michael J. Maher, editors, Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy. pages 39-50, ACM, 2006. [doi]
Abstract is missing.