Effective Formal Methods for Smart-Contract Certification

01.09.2023 - 31.08.2027
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektmanager_innen

Institut

Förderungsmittel

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

Forschungsschwerpunkte

  • Information and Communication Technology