Author/Creator: International Conference on Formal Engineering Methods, 19th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator International Conference on Formal Engineering Methods, 19th

1. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017)

Editors:: Duan, Zhenhua; Ong, Luke
Other Names:: International Conference on Formal Engineering Methods, 19th
Record Type:: Book
Extent:: 1 online resource (xvii, 498 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗