TY  - BOOK
AU  - Duan,Zhenhua
AU  - Ong,Luke
ED  - SpringerLink (Online service)
TI  - Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319686905
AV  - QA76.758 
U1  - 005.1 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
KW  - Computer communication systems
KW  - Software Engineering
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Computer Communication Networks
N1  - Verification and validation -- Software engineering -- Formal specification and modeling -- Software security -- Software reliability; Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.  The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability
UR  - https://doi.org/10.1007/978-3-319-68690-5
ER  -