Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Lecture Notes in Computer Science)

by Mario Bravetti (Editor), Mario Bravetti (Editor), Mercedes G. Merayo (Editor), Robert M. Hierons (Editor)

• New

  Paperback
  2013

  $53.26

  This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.