Browsing by Author Figueiredo, Daniel Oliveira
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| 2015 | Differential dynamic logic and applications | Figueiredo, Daniel Oliveira | masterThesis |  |
| Feb-2020 | Logical foundations and computational tools for synthetic biology | Figueiredo, Daniel Oliveira | doctoralThesis | |