Copyright | (c) Fontaine 2009 - 2011 |
---|---|
License | BSD |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only dump a Lts as Csp-Specifications suitable for FDR-refinementcheck |
Safe Haskell | None |
Language | Haskell2010 |
Copyright | (c) Fontaine 2009 - 2011 |
---|---|
License | BSD |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only dump a Lts as Csp-Specifications suitable for FDR-refinementcheck |
Safe Haskell | None |
Language | Haskell2010 |