Associate Professor (email)
Jorge Sousa Pinto is a senior member of the Association for Computing Machinery, Associate Professor at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC.
A Tutorial on Verification Conditions Using Single-Assignment Form.
Interests:Deductive Program VerificationSoftware Model Checking
Projects: AVIACC | FAVAS | RESCUE | LERNET
Algoritmos e Complexidade, Lic. em Eng. Informática
Verificação Formal de Software, Mestrado em Eng. Informática
Dep. de Informática,Universidade do Minho,Campus de Gualtar,4710-057 Braga, PortugalPhone: +351 253 604 455Email
more information at Springer