Featured Sites
-
Latest links
-
Popular Categories
| ID: | 53 | |
| Title: | Abstract State Machines | |
| URL: | http://www.eecs.umich.edu | |
| Category: | Computers: Algorithms | |
| Description: | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. | |