Asmeta Asm2C++

Asm2C++ is a tool for code generation from Abstract State Machines.

Documents