@inproceedings{inproceedings, title = {{Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings}}, publisher = {{Springer}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{}}, isbn = {{978-3-642-40560-0}}, volume = {{8137}}, journal = {{SEFM}}, note = {{Accessed on 2025/07/26}}}