Formal Methods Europe(FME) is a European organisation supported by the Commission of the European Union, with the mission of promoting and supporting the industrial use of formal methods for computer systems development.
In keeping with the general principles of the European Union here we present those aspects of Formal Methods Europe which are of particular interest to the industry local to Portugal.
|Computing Foundations Group
|Computing Theory and Formal Methods
|Formal Methods for Software Development
|Logic and Computation Group
|DI, U.Minho||DM, IST||DI, FCUL|
The FME Homepage |
Other FME Hubs
This page is maintained by Prof. José Nuno Oliveira
This page was produced using HTMLCAM version 1.0