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
ISO-690 (author-date, English)

OLIVIERI, Luca, SPOTO, Fausto und TAGLIAFERRO, Fabio, 2025. An application layer with protocol-based java smart contract verification. Frontiers in Computer Science. 18 September 2025. P. 1-21. DOI 10.3389/fcomp.2025.1596804.

Elsevier - Harvard (with titles)

Olivieri, L., Spoto, F., Tagliaferro, F., 2025. An application layer with protocol-based java smart contract verification. Frontiers in Computer Science 1-21. https://doi.org/10.3389/fcomp.2025.1596804

American Psychological Association 7th edition

Olivieri, L., Spoto, F., & Tagliaferro, F. (2025). An application layer with protocol-based java smart contract verification. Frontiers in Computer Science, 1-21. https://doi.org/10.3389/fcomp.2025.1596804

Springer - Basic (author-date)

Olivieri L, Spoto F, Tagliaferro F (2025) An application layer with protocol-based java smart contract verification.. Frontiers in Computer Science 1-21. https://doi.org/10.3389/fcomp.2025.1596804

Juristische Zitierweise (Stüber) (Deutsch)

Olivieri, Luca/ Spoto, Fausto/ Tagliaferro, Fabio, An application layer with protocol-based java smart contract verification., Frontiers in Computer Science 2025, 1-21.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.