Towards Certified Program Logics for the Verification of Imperative Programs.

Graduation type:

PhD

Student:

David Miguel Ramalho Pereira

Type / Program:

Internal

MAPI

Advisors:

Starting date:

2008

End date:

02.01.2012

thesisfinal.pdf