APA (7th ed.) Citation

Luckcuck, M., Farrell, M., Gleirscher, M., & Schwammberger, M. (2025, November). Preface: Advances in Formal Methods for Autonomous Systems. Science of computer programming, 103413. https://doi.org/10.1016/j.scico.2025.103413

Chicago Style (17th ed.) Citation

Luckcuck, Matt, Marie Farrell, Mario Gleirscher, and Maike Schwammberger. "Preface: Advances in Formal Methods for Autonomous Systems." Science of Computer Programming Nov. 2025: 103413. https://doi.org/10.1016/j.scico.2025.103413.

MLA (9th ed.) Citation

Luckcuck, Matt, et al. "Preface: Advances in Formal Methods for Autonomous Systems." Science of Computer Programming, Nov. 2025, p. 103413, https://doi.org/10.1016/j.scico.2025.103413.