 | About Formal Methods... |
| [ Back to CAMILA ] |
|---|
The following links may be of some help to the one interested in Formal Methods:
- Formal Methods, the main reference Web site for
the Formal Methods community, located at Oxford University.
- Formal Methods Europe (FME), 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.
- FME Portugal HUB, the Portuguese FME site,
presenting those aspects of Formal Methods Europe which are of
particular interest to the Portuguese industry and academy.
- IEEE Formal Methods Planning Group (FMPG),
contact:
Paul Joannou,
Ontario Hydro
700 University Ave
Toronto, Ontario
Canada, M5G 1X6.
[ Back to the CAMILA Home Page ]
Jose Nuno Oliveira
Mon Jul 7 18:00:02 WET DST 1997