A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
URL: http://www.eecs.umich.edu/gasm/ Category: Computers / Algorithms Link ID: 5156
