keywords
mots-clés
informatique théorique, méthodes formelles et informatique quantique
theoretical computer science, formal methods, and quantum computing
ERC panel structure 2020
Panels disciplinaires de l'ERC 2020
formal methods
méthodes formelles