Link Information »  Abstract State Machines

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