%0 Conference Paper %1 conf/ppdp/AlbertiGLCMM06 %A Alberti, Marco %A Gavanelli, Marco %A Lamma, Evelina %A Chesani, Federico %A Mello, Paola %A Montali, Marco %B PPDP %D 2006 %E Bossi, Annalisa %E Maher, Michael J. %I ACM %K dblp %P 39-50 %T An abductive framework for a-priori verification of web services. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2006.html#AlbertiGLCMM06 %@ 1-59593-388-3

@inproceedings{conf/ppdp/AlbertiGLCMM06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Alberti, Marco and Gavanelli, Marco and Lamma, Evelina and Chesani, Federico and Mello, Paola and Montali, Marco}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/268f4688496acf5a24f9aa180aadef268/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2006}, editor = {Bossi, Annalisa and Maher, Michael J.}, ee = {https://doi.org/10.1145/1140335.1140342}, interhash = {93725138c48c7117e5051f6775b413f1}, intrahash = {68f4688496acf5a24f9aa180aadef268}, isbn = {1-59593-388-3}, keywords = {dblp}, pages = {39-50}, publisher = {ACM}, timestamp = {2019-09-27T19:56:03.000+0200}, title = {An abductive framework for a-priori verification of web services.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2006.html#AlbertiGLCMM06}, year = 2006 }