StatAnaCSP.hs revision 784f137bcf1ab23b3b87d5506e586e59c383ba96
8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder{- |
8a77240a809197c92c0736c431b4b88947a7bac1Christian MaederModule : $Id$
d3f5a64c6ed1b24fcaedff9a6fd6f94fe6d8a785Christian MaederDescription : static analysis for CspCASL
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerCopyright : (c) Markus Roggenbach, Till Mossakowski, Uni Bremen 2004-2005
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
Error!

 

There was an error!

null

java.lang.NullPointerException