APA Style
Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed. (2022).
Formal Methods for Software Engineering: Languages, Methods, Application Domains (1).
Switzerland:
Springer Cham.
Chicago Style
Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed.
Formal Methods for Software Engineering: Languages, Methods, Application Domains.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed.
Formal Methods for Software Engineering: Languages, Methods, Application Domains.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed.
Formal Methods for Software Engineering: Languages, Methods, Application Domains.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.