Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Symbolic Computation and Automated Reasoning for Program Analysis
01.04.2016 - 30.06.2021
Forschungsförderungsprojekt
Personen
Projektleiter_in
Laura Kovacs
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungsmittel
European Commission (EU)
H2020 I.1. ERC Europäischer Forschungsrat
Säule Wissenschaftsexzellenz
Rahmenprogramm Horizont 2020
Europäische Kommission
Ausschreibungskennung ERC-2014-STG
Antragsnummer 639270
Forschungsschwerpunkte
Information and Communication Technology
Publikationen
Publikationsliste