ISO-690 (author-date, English)

FEUILLOLEY, Laurent und HIRVONEN, Juho, 2022. Local verification of global proofs. Freiburg: Universität.

Elsevier - Harvard (with titles)

Feuilloley, L., Hirvonen, J., 2022. Local verification of global proofs. Universität, Freiburg. https://doi.org/10.4230/LIPIcs.DISC.2018.25

American Psychological Association 7th edition

Feuilloley, L., & Hirvonen, J. (ca. 2022). Local verification of global proofs [Cd]. Universität. https://doi.org/10.4230/LIPIcs.DISC.2018.25

Springer - Basic (author-date)

Feuilloley L, Hirvonen J (2022) Local verification of global proofs. Universität, Freiburg

Juristische Zitierweise (Stüber) (Deutsch)

Feuilloley, Laurent/ Hirvonen, Juho, Local verification of global proofs, Freiburg 2022.

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