Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 (Lecture Notes in Computer Science)

by Marjan Sirjani (Editor), Alessandro Cimatti (Editor), Marjan Sirjani (Editor), Alessandro Cimatti (Editor)

• New

  Paperback
  2017

  $70.13

  � This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.