Abstract State Machines - Hot Web URL - hotweburl.com (Visit this link)
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
URL: http://www.eecs.umich.edu/gasm/
Category: Computers / Algorithms
Link ID: 5070
Alexa's Rank
Put a FREE traffic graph on your site
|
 |
|