Abstract State Machines
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.

No queries for www.eecs.umich.edu/gasm