Ghi lại trích dẫn
Trích dẫn kiểu APA (xuất bản lần thứ 7)
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, ebrary, Inc, Grumberg, O., Nipkow, T., & Pfaller, C. (2008). Formal logical methods for system security and correctness. IOS Press.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, Inc ebrary, Orna Grumberg, Tobias Nipkow, và Christian Pfaller. Formal Logical Methods for System Security and Correctness. Amsterdam, Netherlands ; Washington, DC: IOS Press, 2008.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, et al. Formal Logical Methods for System Security and Correctness. IOS Press, 2008.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
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%.