Trích dẫn APA

Phạm Trần Nhu., & Nguyễn Văn Trường. Combining formal methods for embedded systems.

Trích dẫn kiểu Chicago

Phạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.

Trích dẫn MLA

Phạm Trần Nhu., và Nguyễn Văn Trường. Combining Formal Methods for Embedded Systems.

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%.