Sebastián Vergara, Laura González 0001, Raúl Ruggia. Towards Formalizing Microservices Architectural Patterns with Event-B. In 2020 IEEE International Conference on Software Architecture Companion, ICSA Companion 2020, Salvador, Brazil, March 16-20, 2020. pages 71-74, IEEE, 2020. [doi]
Abstract is missing.