Work

Automated synthesis and deployment of cloud applications