Computers DirectoryListing Details
| ID: | 5117 |
| Title: | Abstract State Machines - http://www.eecs.umich.edu |
| Pagerank: | 7 |
| Description: | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. |
| Category: | Programming: Algorithms and Data Structures |
| Link Owner: | eecs.umich.edu |
| Date Added: | February 27, 2010 05:18:31 AM |
| Number Hits: | 0 |