Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.