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 |