Alves Júnior, Mozart de Melo, Maria Lencastre, Jaelson Castro, Lucas Florêncio de Brito, e Moniky Ribeiro. 2022. “Identificando E Analisando Casos De Garantia De Segurança Aplicados a Sistemas Robóticos”. Cadernos Do IME - Série Informática 46 (junho). Rio de Janeiro:78-103. https://doi.org/10.12957/cadinf.2021.68554.