Գրանցեք մեջբերումները

APA (7th ed.) մեջբերում

SpringerLink (Online service), Hinchey, M., Holcombe, M., & Eleftherakis, G. (2012). Software engineering and formal methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Imprint: Springer.

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

SpringerLink (Online service), Mike Hinchey, Mike Holcombe, and George Eleftherakis. Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Berlin, Heidelberg: Imprint: Springer, 2012.

MLA (8րդ խմբ.) Մեջբերում

SpringerLink (Online service), et al. Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Imprint: Springer, 2012.

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.