ACCAT Workshop 2007

a satellite event of the
European Joint Conferences on Theory and Practice of Software
ETAPS 2007
March 24 - April 1, 2007, Braga, Portugal