Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, DFKI 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (MPTC-FD)
Safe HaskellNone

Comorphisms.ExtModal2HasCASL

Description

 

Documentation