Algorithms

 Directory » Computers and Internet » Algorithms

Abstract State Machines

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