Formal specifications for Microservices

Francois Royer at DDD Europe 2020