Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings: 10510 (Lecture Notes in Computer Science)

by Nadia Polikarpova (Editor), Steve Schneider (Editor)

• New

  Paperback
  2017

  $70.17

  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.