APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.