keywords
type: Collection
member: formal methods
preferred label: mots-clés @fr

theoretical computer science, formal methods, and quantum computing
type: Concept
narrow match: formal methods
preferred label: informatique théorique, méthodes formelles et informatique quantique @fr
notation: PE6_4

formal methods
type: Concept
in scheme: ERC panel structure 2020
preferred label: méthodes formelles @fr
broad match: theoretical computer science, formal methods, and quantum computing
created: 2020-01-01T12:00:00+0100d

ERC panel structure 2020
type: Ontology
type: ConceptScheme
preferred label: Panels disciplinaires de l'ERC 2020 @fr