Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.