Spring 2012 Formal Analysis taskgroup meeting

Room 445, PCRI, Orsay, 12 April 2012, 14:00-17:00