Abstract State Machine Language

programming language based on the Abstract State Machines formal method

Catégories :