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

This volume contains the proceedings of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013. The conference was held in Madrid, Spain, during September 25\u201327, 2013. The purpose of the SEFM conference is to bring toge ther practitioners and re searchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods