Activities per year
Activities
- 1 results
Search results
-
Co-verification for robotics: simulation and verification by proof
De Oliveira Salazar Ribeiro, P. F. (Invited speaker)
5 Jun 2023Activity: Talk or presentation › Invited talk