You are about to access our book library "Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ... Notes in Computer Science Book 10610) full version"
.