Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services.

Francesco Moscato

Browse the full CISIS paper archive.