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

Especificação Formal, Prototipagem e Refinamento Transformacional: Um abordagem para a Engenharia de Software
F. Mário Martins

In Revista de Informática, N. 9, API, Lisboa. June, 1988.