LINDOSO JR., Waldeck; NOGUEIRA, Sidney C.; DOMINGUES, Renato; LIMA, Lucas.
Visual Specification of Properties for Robotic Designs. In: SIMPÓSIO BRASILEIRO DE MÉTODOS FORMAIS (SBMF), 24. , 2021, Campina Grande.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 34-52.