- Category:Algorithms
- Title:
Abstract State Machines
- Url:
http://www.eecs.umich.edu/gasm/
- Description:
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
- Clicks:0
- Link added:Jan 7, 2007
- Rating:0
- Votes:0
- Comments:0