Analysis and Transformation based on rEliAble tool coMpositionS Équipe de recherche111222

ATEAMSCentrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, NetherlandsRNSR : 200918990GPays-Bashttp://www.inria.fr/equipes/ateamsDate de création : mercredi 1 juillet 2009Date de fermeture/fusion : jeudi 31 décembre 2015

 Inria Lille - Nord Europe Laboratoire104752

Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'AscqRNSR : 200818245BROR : https://ror.org/04eej9726Francehttp://www.inria.fr/lille/

 Institut National de Recherche en Informatique et en Automatique Institution300009

InriaDomaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée

 Centrum Wiskunde & Informatica Institution152470

CWIScience Park 123, 1098 XG AmsterdamROR : https://ror.org/00x7ekv49Pays-Bashttp://www.cwi.nl/