APA (7th ed.) Citation

Krook, J., Selvaraj, Y., Ahrendt, W., & Fabian, M. (2022). A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases.

Chicago Style (17th ed.) Citation

Krook, Jonas, Yuvaraj Selvaraj, Wolfgang Ahrendt, and Martin Fabian. A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. 2022.

MLA (9th ed.) Citation

Krook, Jonas, et al. A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. 2022.