Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Holonomic Sequences in Program Verification
01.07.2018 - 30.06.2021
Forschungsförderungsprojekt
Personen
Projektleiter_in
Maximilian Jaroschek
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Information and Communication Technology
Publikationen
Publikationsliste