Waldeck Lindoso Jr., Sidney Nogueira, Renato Domingues, and Lucas Lima. 2021.
Visual Specification of Properties for Robotic Designs. In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, dezembro 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 34-52.