Ethertrust - Trustworthy smart contracts

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Ethertrust
 
Project Title (de) Projekttitel (de)
Ethertrust - Trustworthy smart contracts
 
Project Title (en) Projekttitel (en)
Ethertrust - Trustworthy smart contracts
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Vereine, Stiftungen, Preise
Grant number Förderkennnummer
Antrag Nr. 2158
 

Publications

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bjørner, Nikolaj ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore Rigorous Methods for Smart ContractsReport BerichtApr-2022