You are about to access our book library "Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings ... Notes in Computer Science Book 11847) full version"
.