[CLAIR-devel] CLAIR 1.0

Roberto Bagnara bagnara at cs.unipr.it
Mon Apr 4 16:47:45 CEST 2005

I am very happy to announce the availability of CLAIR 1.0, the first
truly public release of the Combined Language and Abstract
Interpretation Resource.  Feedback is solicited on all aspects of the
system and its documentation.

For more information, visit the CLAIR web site at



     Roberto Bagnara

Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it

More information about the CLAIR-devel mailing list