Effective Formal Methods for Smart-Contract Certification

01.09.2023 - 31.08.2027
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Informations- und Kommunikationstechnologien Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)

Forschungsschwerpunkte

  • Information and Communication Technology