Skip to main content
User account menu
Log in
Toggle navigation
Main navigation
About
Our Mission
Research Activities and Collaborations
Doctoral Training
Bibliographic Resources
Members
Research Areas
Projects
Current Research Projects
Past Research Projects
GEMAC
Outreach Projects
Publications
Publications
Preprints
Theses
Software
Editions
Memoirs
News & Events
News
Courses
Conferences
Seminars
Visits
David Miguel Ramalho Pereira
David Miguel Ramalho Pereira
FCUP
.
View
Editorship
Projects
Publications
Students
Member Level
Temporary member - PhD student
Thesis
Towards Certified Program Logics for the Verification of Imperative Programs.
Internal Advisor(s)
Nelma Moreira
External Advisor(s)
Simão Melo de Sousa
Program
MAPI
Current position
Researcher at CISTER:Research Center of Real-time & Embedded Computing Systems
