标签: b-method
我不确定这是否适合stackoverflow,但我不知道还有什么要问的。对于用b language编写的程序,(不是B语言,C和C ++的前身),我想知道它是否写得很好,是否有可以执行的编译或测试?
答案 0 :(得分:2)
Atelier B, the industrial tool to efficiently deploy the B Method
答案 1 :(得分:1)
您可以使用Pro B为Atelier B中的内容制作动画。