Continuous Formal Verification of Microservice-Based Process Flows
Distribution of the number of citations over years.