Web Directory
 

The WWW Virtual Library: Formal Methods

  Link Details for: The WWW Virtual Library: Formal Methods
Link Title: The WWW Virtual Library: Formal Methods Open in a new window
Link URL: http://www.afm.sbu.ac.uk/
Link Details: Pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems.
Category: Top : Computers : Programming : Languages : Specification
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
The WWW Virtual Library: Formal Methods