Welcome to ListC.com is full of categories related to computer including links to artificial intelligence, bulletin board systems, computer science, system management, security, graphics, system management and much more.
An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.
http://www.fmeurope.org/
