The home page of the Formal Methods & Tool Laboratory has been moved to:

fmt.isti.cnr.it