mcrl2 - 201409.0-1+b2 main

formal specification language toolset

Section: math
Suites: amber 
Maintainer: Sjoerd Cranen <scranen@win.tue.nl>
 
Homepage Source Package
 

Dependencies

Installed Size: 42.9 MB
Architectures: amd64  arm64 

 

Versions

201409.0-1+b2 amd64 201409.0-1+b2 arm64