E
📝 描述
Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.
⭐ 用户评价
暂无评价