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