Bogdan David, Madalina Erascu. Automatic Deployment of Component-based Applications in the Cloud (short paper). In Ali Kemal Uncu, Haniel Barbosa, editors, Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022. Volume 3458 of CEUR Workshop Proceedings, pages 37-44, CEUR-WS.org, 2022. [doi]
Abstract is missing.