mbeddr.formal

FASTEN。FormAl SpecificaTion ENvironment - 一套DSL,用于实验严格的系统和安全工程。

fork
16
star
16

mbeddr.formal是什么?

FASTEN。FormAl SpecificaTion ENvironment - 一套DSL,用于实验严格的系统和安全工程。

mbeddr.formal点评

暂无点评
类别: JetBrains MPS