Free online directory pages » Listing Details

Abstract State Machines

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
 

Ratings

Reviews