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