Skip to main content

A-Priori Verification of Web Services with Abduction

Posted in
Title{A-Priori Verification of Web Services with Abduction}
Publication TypeConference Paper
Year of Publication2006
AuthorsAlberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali
Conference Name21-esimo Convegno Italiano di Logica Computazionale (CILC 2006)