Doutorando do MAP-i recebe Best Paper Award
Acções do Documento
Luis Soares Barbosa
|
|
lsb@di.uminho.pt |
|
|
PhD, EEng |
|
|
Models and calculi for software components, services and arquitectures. Program understanding. Coalgebra theory and coinductive reasoning. Mathematical modelling, problem solving and proof. |
|
|
http://www.di.uminho.pt/~lsb/ |
Outros Recursos
Não existem itens nesta pasta.