APA (7th ed.) Citation
Haxthausen, A. E., & Serwe, W. (2024). Formal Methods for Industrial Critical Systems. Springer Nature.
Chicago Style (17th ed.) Citation
Haxthausen, Anne E., and Wendelin Serwe. Formal Methods for Industrial Critical Systems. Springer Nature, 2024.
MLA (9th ed.) Citation
Haxthausen, Anne E., and Wendelin Serwe. Formal Methods for Industrial Critical Systems. Springer Nature, 2024.
Warning: These citations may not always be 100% accurate.