Παραπομπή APA

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

Παραπομπή Chicago Style

Dongol, Brijesh, Luigia Petre, και Graeme Smith. Formal Methods Teaching. Springer International Publishing, 2020.

Παραπομπή MLA

Dongol, Brijesh, Luigia Petre, και Graeme Smith. Formal Methods Teaching. Springer International Publishing, 2020.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.