event-Bのツール環境RODINをインストールしようとしたが...

proofツールなどへのリンクが切れているなど、うまくいかない。
で、B4freeをインストールしたが、マニュアルはどこに？
ということで、暇になったら調べ直すことにした。

Posted: 木 - 1 月 10, 2008 at 02:53 午後