ETAPS photos of friday, the 12th of april / 0900-invited-speaker-P.Cousot03
12/04/2002