Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

MLA

Haxthausen, Anne E, Wen-ling Huang, and Markus Roggenbach. Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska On the Occasion of His 65th Birthday. Cham: Springer International Publishing AG, 2023.

APA

Haxthausen, A. E, Huang, W., & Roggenbach, M. (2023). Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Cham: Springer International Publishing AG.

Chicago

Haxthausen, Anne E., Wen-ling Huang, and Markus Roggenbach. Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska On the Occasion of His 65th Birthday. Cham: Springer International Publishing AG, 2023.