APA (7th ed.) Citation

Bentele, M., Altinordu, O., Körner, J., Podelski, A., & Sikora, A. (2025). Checking the HAL Interface Specification Continuously, Right from the Start.

Chicago Style (17th ed.) Citation

Bentele, Manuel, Onur Altinordu, Jan Körner, Andreas Podelski, and Axel Sikora. Checking the HAL Interface Specification Continuously, Right from the Start. 2025.

MLA (9th ed.) Citation

Bentele, Manuel, et al. Checking the HAL Interface Specification Continuously, Right from the Start. 2025.