Projects

MIUR project COVER

Parallel Formal Computing Environment PARFORCE BRA.

ESPRIT Working Group COTIC (Concurrent Constraint programming for time critical applications)

Click here to return to my Home Page.