Generation of Formal Specifications for Smart Contracts from Architectural Specifications: Unterschied zwischen den Versionen
(Dv9597 verschob die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications nach Modelling and Enforcing Access Control Requirements for Smart Contracts) Markierung: Neue Weiterleitung |
(kein Unterschied)
|
Aktuelle Version vom 10. Januar 2022, 09:47 Uhr
Weiterleitung nach: