| ID: | 448 |
| Title: | Abstract State Machines - http://www.eecs.umich.edu/gasm/ |
| Pagerank: | 6 |
| Description: | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. |
| Category: | Computers: Algorithms |
| Link Owner: | eecs.umich.edu |
| Date Added: | June 26, 2009 11:49:49 AM |
| Number Hits: | 0 |