APA Citation

Roggenbach, M., Haxthausen, A. E., & Huang, W. (2023). Applicable Formal Methods for Safe Industrial Products. Lecture Notes in Computer Science, 14165, . doi:10.1007/978-3-031-40132-9

Chicago Style Citation

Roggenbach, Markus, Anne E. Haxthausen, and Wen-ling Huang. "Applicable Formal Methods for Safe Industrial Products." Lecture Notes in Computer Science 14165 (2023).

MLA Citation

Roggenbach, Markus, Anne E. Haxthausen, and Wen-ling Huang. "Applicable Formal Methods for Safe Industrial Products." Lecture Notes in Computer Science 14165 (2023).

Warning: These citations may not always be 100% accurate.