UNIVERSITY OF BATH (UBAH) - (Coördinator)
Country:
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Full project pageOrganisations map overview
Coventry University
Country:
FONDAZIONE BRUNO KESSLER
Country:
MAPLESOFT EUROPE LIMITED
Country:
UNIVERSITA DEGLI STUDI DI GENOVA
Country:
UNIVERSITAET KASSEL
Country:
UNIVERSITAET LINZ
Country:
UNIVERSITE DE LORRAINE (UL)
Country: