Jorge Sousa Pinto

Universidade do Minho - DI/CCTC

Rigorous SW Development (Textbook)
Projects
Events
Publications
Technical Reports and Drafts
Research Opportunities
Students
Teaching

Events

EVTSIC track at INFORUM 2010

Forthcoming Textbook

Rigorous SW Development
An Introduction to Program Verification

more information at Springer

PhD Programme

The MAP-I Doctoral Programme in Computer Science represents a fusion of the doctoral offers in Computer Science in three top Portuguese Universities and constitutes a unified effort to prepare highly qualified human resources in Computer Science.

The programme targets both national and international audiences and is designed for excellence and competitiveness at the international level.

Created with Sandvox

Local Links

Computer Science and Technology Center (CCTC)
Mestrado em Informática
Departamento de Informática
Universidade do Minho

Contact Information

Departamento de Informática
Universidade do Minho
Campus de Gualtar
4710-057 Braga
Portugal

Telephone: +351 253 604455
Email: jsp di uminho pt
(you probably can guess the missing bits)

Jorge Sousa Pinto

Site Navigation[Skip]

Sidebar[Skip]

Events

Forthcoming Textbook

PhD Programme

Local Links