Cite Them Right 11th edition - Harvard

Arvay, B. und Thiemann, P. (2024) Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson" [cd]. Freiburg: Universität. doi:10.6094/UNIFR/255176.

Chicago Manual of Style 17th edition (full note)

Arvay, Barnabas, und Peter Thiemann. Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson". Cd. Freiburg: Universität, [2024?], Freiburg: Universität, [2024?]. https://doi.org/10.6094/UNIFR/255176.

American Psychological Association 7th edition

Arvay, B., & Thiemann, P. (ca. 2024). Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson" [Cd]. Universität. https://doi.org/10.6094/UNIFR/255176

Modern Language Association 9th edition

Arvay, B., und P. Thiemann. Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson". cd, Universität, 2024, https://doi.org/10.6094/UNIFR/255176.

ISO-690 (author-date, Deutsch)

ARVAY, Barnabas und Peter THIEMANN, 2024. Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson". Freiburg: Universität

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.