Generation of Formal Specifications for Smart Contracts from Architectural Specifications

Aus IPD-Institutsseminar
Weiterleitung
Zur Navigation springen Zur Suche springen