Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti, editors, Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Volume 8137 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Conference: SEFM2013

Editors

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Mercedes G. Merayo

This author has not been identified. Look up 'Mercedes G. Merayo' in Google

Mario Bravetti

This author has not been identified. Look up 'Mario Bravetti' in Google