Mehr Directory - Computers and Internet > Algorithmshttp://www.mehrdir.com/computer-internet/Algorithms.htmlMehr is a directory of quality websites. Add your link today. Abstract State Machineshttp://www.eecs.umich.edu/gasmA formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.Wed, 28 Sep 2005 05:31:21 GMT