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.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Veriﬁcation and validation -- Software engineering -- Formal speciﬁcation and modeling -- Software security -- Software reliability.
Keywords: Software engineering; Computer programming; Programming languages (Electronic computers).; Computer logic; Mathematical logic; Computer communication systems; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computer Communication Networks