Skip to content

Towards Formalizing Microservices Architectural Patterns with Event-B.

Sebastin Vergara, Laura Gonzlez, Ral Ruggia

VenueAICSA
Year2020
ProceedingsICSA Companion

Browse the full ICSA paper archive.