Abduction for specifying and verifying web service choreographies
ALBERTI A.;CHESANI F.;GAVANELLI M.;LAMMA E.;MELLO P.;MONTALI M.;STORARI S.     dettagli >>

Anno: 2006