Other relevant URL's with respect to formal methods are: 

•    CoLogNET Formal Methods
•    The home page of the NASA Langley Formal Methods Team.
•    The NASA Formal Methods World Wide Web Information Center.
•    The home page of the Strategic Directions in Computing Research: Formal Methods Working Group.
•    The Formal Methods Virtual Library in Oxford providing a wide variety of information on formal methods.

© copyright 2004 | Formal Methods Europe