University of MinhoSchool of Engineering Departament of Computer Science
  Team Courses Post Grad Projects Publications   pt | en
 
 
 
 

Métodos Formais na Concepção e Desenvolvimento de Sistemas Interactivos
F. Mário Martins

Tese de Doutoramento, Fundamentos da Computação, UM, Universidade do Minho. July, 1995.