Trích dẫn kiểu APA (xuất bản lần thứ 7)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), Margaria, T., & Steffen, B. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), Tiziana Margaria, và Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II. Cham, Suiza: Springer.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), et al. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II. Springer.
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%.