Trích dẫn kiểu APA (xuất bản lần thứ 7)

SpringerLink (Online service), Salaün, G., & Giannakopoulou, D. (2014). Software engineering and formal methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Springer International Publishing.

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

SpringerLink (Online service), Gwen Salaün, và Dimitra Giannakopoulou. Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Cham: Springer International Publishing, 2014.

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

SpringerLink (Online service), et al. Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Springer International Publishing, 2014.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.