Azaiez, A., Anisi, D. A., Farrell, M., & Luckcuck, M. (2026). A Survey of Formal Methods for Autonomous Robots - List of Identified Tools. Zenodo.
Citazione stile Chigago Style (17a edizione)Azaiez, Atef, David A. Anisi, Marie Farrell, e Matt Luckcuck. A Survey of Formal Methods for Autonomous Robots - List of Identified Tools. Zenodo, 2026.
Citatione MLA (9a ed.)Azaiez, Atef, et al. A Survey of Formal Methods for Autonomous Robots - List of Identified Tools. Zenodo, 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.