- Home
- Computer
- Algorithms
- Abstract State Machines
Computer · Algorithms
Abstract State Machines
Listed in the directory · updated 2 Jul 2022
About Abstract State Machines
Abstract State Machines- A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.