Formal Methods for Software Engineering : Languages, Methods, Application Domains

MLA

Roggenbach, Markus, et al. Formal Methods for Software Engineering : Languages, Methods, Application Domains. Cham: Springer International Publishing AG, 2022.

APA

Roggenbach, M., Cerone, A., Schlingloff, B., Schneider, G., & Shaikh, S. Ahmed. (2022). Formal Methods for Software Engineering : Languages, Methods, Application Domains. Cham: Springer International Publishing AG.

Chicago

Roggenbach, Markus., Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh. Formal Methods for Software Engineering : Languages, Methods, Application Domains. Cham: Springer International Publishing AG, 2022.