Abstract State Machine Language

programming language based on the Abstract State Machines formal method

카테고리: