------------

EDIPIA:

An Integrated Program Development Environment based on Abstract Interpretation.

------------

CLIPThe CLIP Group at DIA / DLSIIS / FIM / Technical University of Madrid (UPM)

------------

------------

<webmaster@clip.dia.fi.upm.es> Last modified: Wed Dec 11 10:10:34 2002