An abductive framework for a-priori verification of web services.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali

Browse the full PPDP paper archive.