Associate Professor at the Logic and Formal Methods Group of Departamento de Informática at Universidade do Minho.


Contact

email: jbb@di.uminho.pt
phone: +351 253604450
fax: +351 253604471

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