Formal Methods Teaching

MLA

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

APA

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

Chicago

Dongol, Luigia Petre, and Graeme Smith. Formal Methods Teaching. : Springer International Publishing, 2019.