TYPES


The Types project is a coordination action in EU′s 6th. framework programme. It started in September 2004 and is a continuation of a number of successful European projects. 

Maria Joćo Frade is associated to this project.


Theory and Formal Methods at U.Minho