AVIACC
Analysis and Verification of Critical Concurrent Programs
Login
|
Register
|
Print
Overview
Home
Project Proposal
Team
Research Team
Job Opportunities
Results
Publications
Tools
Events
First Project Meeeting
Second Project Meeting
Research
»
Aviacc
»
WebHome
»
Team
Senior Researchers
Sabine Broda [FCUP]
Daniela da Cruz [UM]
Maria João Frade [UM]
Nelma Moreira [FCUP]
David Pereira [IPP]
Luís Miguel Pinho [IPP]
Luís Pinto [UM]
Jorge Sousa Pinto, PI [UM]
Simão Melo de Sousa [UBI]
Postdocs
David Pereira [IPP]
PhD Students
Cláudio Lourenço [UM]
André Pedro [IPP]
Eduardo Brito [UM]
BI Grantholders
Víctor Miraldo [UM]
Iago Abal Rivas [UM]
Pedro Soares [FCUP]
Sílvia Cavadas [FCUP]
r3 - 23 Apr 2014 - 11:07:22 -
JorgeSousaPinto
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM