Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Amazon Research Award for conducting research on "Testing Dafny for Unsoundness and Brittleness Bugs"
01.04.2024 - 31.03.2027
Forschungsförderungsprojekt
Personen
Projektleiter_in
Univ.Prof.in Dr.in sc. Maria Christaki
(E194-01)
Subprojektmanager_innen
Mag.a phil. Eva Schenner
(E194-01)
Natascha Zachs BSc
(E194-01)
Institut
E194-01 - Forschungsbereich Software Engineering
Förderungsmittel
Amazon Research Awards
Forschungsschwerpunkte
Information and Communication Technology
