Formal Methods – Fun for Everybody

MLA

Cerone, Antonio, and Markus Roggenbach. Formal Methods – Fun for Everybody. Springer International Publishing, 2021.

APA

Cerone, A., & Roggenbach, M. (2021). Formal Methods – Fun for Everybody. Springer International Publishing.

Chicago

Cerone, Antonio, and Markus Roggenbach. Formal Methods – Fun for Everybody. : Springer International Publishing, 2021.