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..
- ISBN: 978-3-319-66844-4
- Editorial: Springer
- Encuadernacion: Rústica
- Páginas: 438
- Fecha Publicación: 27/08/2017
- Nº Volúmenes: 1
- Idioma: Inglés