Browsing by Author Marcilon, Thiago Braga
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type |
|---|---|---|---|
| 2012 | Contratos formais para derivação e verificação de componentes paralelos | Marcilon, Thiago Braga | Dissertação |
| 2017 | Resultados no tempo máximo e no número de envoltória nas convexidades p3 e geodésica | Marcilon, Thiago Braga | Tese |