Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • An application layer with prot...

Treffer: An application layer with protocol-based java smart contract verification.

Title:
An application layer with protocol-based java smart contract verification.
Authors:
Olivieri, Luca, Spoto, Fausto, Tagliaferro, Fabio
Source:
Frontiers in Computer Science; 2025, p1-21, 21p
Database:
Complementary Index