Listing Details| ID: | 13443 | |
| Title: | Abstract State Machines | |
| URL: | http://www.eecs.umich.edu/gasm/ | |
| Category: | Computers and Internet: Algorithms | |
| Description: | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. | |