Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Polikarpova, Nadia (Editor), Schneider, Steve (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10510
• Subjects: Computer science.; Computer organization.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Computer Systems Organization and Communication Networks.; Computing Methodologies.; The Computing Profession.

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...