Items where authors include "Carvalho, Gustavo"

Article

Baxter, James, Carvalho, Gustavo, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2023) RoboWorld : Verification of Robotic Systems with Environment in the Loop. Formal Aspects of Computing. 26. ISSN 1433-299X