ISO-690 (author-date, English)

ROY, Subhajit, 2023. A Theorem Proving Approach to Programming Language Semantics. In: . 1 Mai 2023.

Elsevier - Harvard (with titles)

Roy, S., 2023. A Theorem Proving Approach to Programming Language Semantics, in: . https://doi.org/10.1109/ICSE-SEET58685.2023.00021

American Psychological Association 7th edition

Roy, S. (2023, Mai 1). A Theorem Proving Approach to Programming Language Semantics. https://doi.org/10.1109/ICSE-SEET58685.2023.00021

Springer - Basic (author-date)

Roy S (2023) A Theorem Proving Approach to Programming Language Semantics

Juristische Zitierweise (Stüber) (Deutsch)

Roy, Subhajit, A Theorem Proving Approach to Programming Language Semantics, 2023, .

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