Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Duan, Zhenhua.; Ong, Luke. (Programming and Software Engineering ;, 2017)