Formal Methods Teaching

MLA

Catherine Dubois, Pierluigi San Pietro, and Pierluigi San Pietro. Formal Methods Teaching. Springer Nature Switzerland, 2023.

APA

Catherine Dubois, P. San Pietro, & San Pietro, P. (2023). Formal Methods Teaching. Springer Nature Switzerland.

Chicago

Catherine Dubois, Pierluigi San Pietro, and Pierluigi San Pietro. Formal Methods Teaching. : Springer Nature Switzerland, 2023.