Submit Link
Latest Links
Algorithms
Directory
»
Computers & Internet
» Algorithms
Links
Abstract State Machines
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
© The Add URL, Right Reserved.
