Project Details
Institution
Université Paris Cité
Institut de Recherche en Informatique Fondamentale (IRIF)
Pôle Automates, Structures, et Vérification
Address
8 Place Aurélie Nemours
75205 Paris
Frankreich
75205 Paris
