APA Citation

(2013). Software engineering and formal methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.