Programming and Software Engineering
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Programming and Software Engineering
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.<div> <div>The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.
Levertijd circa 6 tot 12 dagen
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.