2017 | Book
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Editors: Prof. Zhenhua Duan, Luke Ong
Publisher: Springer International Publishing
Book Series : Lecture Notes in Computer Science