Ondokuz / mcrl2

formal specification language toolset

•     Sjoerd Cranen
•     [email protected]
•     http://www.mcrl2.org/
•     201409.0-1+b2
•     mcrl2_201409.0-1+b2_amd64.deb
•     7.1 MiB
•     math
•     amd64
•      mcrl2_201409.0-1.debian.tar.xz
            mcrl2_201409.0-1.dsc
            mcrl2_201409.0.orig.tar.gz
•     Debian Versiyonu: 201409.0-1+b2
•     formal specification language toolset