Towards Certified Program Logics for the Verification of Imperative Programs.

Student

David Miguel Ramalho Pereira
Graduation type
PhD
Type/Program
Internal
Program
MAPI

Advisor(s)

Nelma Moreira
Simão Melo de Sousa

Dates

Starting Date
2008
End Date
thesisfinal.pdf1.39 MB