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.

MLA引文

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

警告：這些引文格式不一定是100％准確.