Hierons, R. M., Merayo, M. G., & Bravetti, M. Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings (1st ed. 2013.). Springer Berlin Heidelberg.
Citace podle Chicago (17th ed.)Hierons, Robert M., Mercedes G. Merayo, a Mario Bravetti. Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. 1st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg.
Citace podle MLA (8th ed.)Hierons, Robert M., et al. Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. 1st ed. 2013. Springer Berlin Heidelberg.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..