Lindoso Jr., W., 		Nogueira, S., 		Domingues, R., & 		Lima, L.
2021 dez  7.  Visual Specification of Properties for Robotic Designs. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :