Aplicação de métodos de verificação de modelos ao clássico problema de Euler-Poinsot
Cássio Murakami Flavius Portella Ribas Martins 1956-; Simpósio Internacional de Iniciação Científica e Tecnológica da Universidade de São Paulo - SIICUSP (29. 2021 São Paulo)
Resumos São Paulo : Universidade de São Paulo - USP, 2022Sao Paulo Universidade de São Paulo - USP 2021
Acesso online