%0 Book %E Duan, Zhenhua, szerk. %E Ong, Luke, szerk. %I Cham : Springer International Publishing %D 2017 %G angol %B Programming and Software Engineering ; 10610 %@ 978-3-319-68690-5 %T Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings %U https://doi.org/10.1007/978-3-319-68690-5