Abstract State Machines

Abstract State Machines
All Links

Share this:

Details of Abstract State Machines

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