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
Citace podle Chicago (17th ed.)Luckcuck, Matt, Marie Farrell, Mario Gleirscher, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..