@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 2024/10/23}}}