You are about to access our book library "Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ... Notes in Computer Science Book 15220) full version"
.