TY  - BOOK
AU  - Polikarpova,Nadia
AU  - Schneider,Steve
ED  - SpringerLink (Online service)
TI  - Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319668451
AV  - QA76.758 
U1  - 005.1 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computers
KW  - Computer organization
KW  - Artificial intelligence
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Theory of Computation
KW  - Computer Systems Organization and Communication Networks
KW  - Artificial Intelligence
KW  - The Computing Profession
N1  - Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software
UR  - https://doi.org/10.1007/978-3-319-66845-1
ER  -