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