Trích dẫn APA

Dongol, B., Petre, L., & Smith, G. (2020). Formal Methods Teaching. Springer International Publishing.

Trích dẫn kiểu Chicago

Dongol, Brijesh, Luigia Petre, và Graeme Smith. Formal Methods Teaching. Springer International Publishing, 2020.

Trích dẫn MLA

Dongol, Brijesh, Luigia Petre, và Graeme Smith. Formal Methods Teaching. Springer International Publishing, 2020.

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