APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.