Browsing by Author David Miguel Ramalho Pereira
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2013-03-08 | Towards certified program logics for the verification of imperative programs | David Miguel Ramalho Pereira | Tese |