American Psychological Association 6th edition

Koutavas, V., Lin Hou, Y., Madeira, A. and K. A., Other, Science Foundation Ireland (SFI for RF), FY23-1127, & 13/RC/2094_2. (2025, Januar 1). An Operational Semantics for Yul ; Lecture Notes in Computer Science ; Software Engineering and Formal Methods. SEFM 2024. Gehalten auf der. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-77382-2_19

ISO-690 (author-date, English)

KOUTAVAS, Vasileios, LIN HOU, Yu, MADEIRA, Alexandre and Knapp, Alexander, OTHER, SCIENCE FOUNDATION IRELAND (SFI FOR RF), FY23-1127 und 13/RC/2094_2, 2025. An Operational Semantics for Yul ; Lecture Notes in Computer Science ; Software Engineering and Formal Methods. SEFM 2024. In: . Springer Nature Switzerland. 1 Januar 2025.

Modern Language Association 9th edition

Koutavas, V., Y. Lin Hou, A. and K. A. Madeira, Other, Science Foundation Ireland (SFI for RF), FY23-1127, und 13/RC/2094_2. An Operational Semantics for Yul ; Lecture Notes in Computer Science ; Software Engineering and Formal Methods. SEFM 2024. Springer Nature Switzerland, 2025, https://doi.org/10.1007/978-3-031-77382-2_19.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Koutavas, V., Lin Hou, Y., Madeira, A. and K.A., Other, Science Foundation Ireland (SFI for RF), FY23-1127 und 13/RC/2094_2. (2025), „An Operational Semantics for Yul ; Lecture Notes in Computer Science ; Software Engineering and Formal Methods. SEFM 2024“, in , Bd. , Springer Nature Switzerland, verfügbar unter:https://doi.org/10.1007/978-3-031-77382-2_19.

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