George Eleftherakis, e. (2012). Software engineering and formal methods: 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings. Springer-Verlag.
Chicago Style CitationGeorge Eleftherakis, editor. Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : Proceedings. Springer-Verlag, 2012.
MLA CitationGeorge Eleftherakis, editor. Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : Proceedings. Springer-Verlag, 2012.
Warning: These citations may not always be 100% accurate.