hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CspCASL.Print_AS_CSP_CASL
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
printing abstract syntax of CSP-CASL
Synopsis
Produced by
Haddock
version 0.6