SAFA Annual Workshop on Formal Techniques (SAFA’2010)


TypeWorkshop
TitleSAFA Annual Workshop on Formal Techniques (SAFA’2010)
Location2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, France