www.cryer.co.uk
Brian Cryer's Web Resources

FME

FME
1. Feature Manipulation Engine. An integrated collection of spatial tools for data transformation and translation (spatial ETL tools).

For more information see:

2. Formal Methods Europe. A worldwide association of researchers and practitioners in formal methods developing computing systems and software.

For more information see: