Symbolic Computation and Automated Reasoning for Program Analysis

01.04.2016 - 30.06.2021
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • European Commission (EU)

Forschungsschwerpunkte

  • Information and Communication Technology