Abstract State Machine Language

programming language based on the Abstract State Machines formal method

श्रेणियाँ: