Tesis de maestría Implementation compliance of microservices architectural patterns : An approach based on Event-B formal specifications and model-based testing Autor(es): Vergara, Sebastián
Fecha de publicación: 2022
Institución: Universidad de la República