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