Skip to content

Continuous Formal Verification of Microservice-Based Process Flows.

Matteo Camilli

VenueBECSA
Year2020
ProceedingsECSA Companion

Browse the full ECSA paper archive.