ISO-690 (author-date, English)

RICHTER, David, MEZINI, Mira und OSTERMANN, Klaus, 2025. Functional DSL Compilers with Leightweight Proofs. Darmstadt: Universitäts- und Landesbibliothek Darmstadt.

Elsevier - Harvard (with titles)

Richter, D., Mezini, M., Ostermann, K., 2025. Functional DSL Compilers with Leightweight Proofs. Universitäts- und Landesbibliothek Darmstadt, Darmstadt. https://doi.org/10.26083/tuprints-00030213

American Psychological Association 7th edition

Richter, D., Mezini, M., & Ostermann, K. (ca. 2025). Functional DSL Compilers with Leightweight Proofs [Universitäts- und Landesbibliothek Darmstadt; Cd]. https://doi.org/10.26083/tuprints-00030213

Springer - Basic (author-date)

Richter D, Mezini M, Ostermann K (2025) Functional DSL Compilers with Leightweight Proofs. Universitäts- und Landesbibliothek Darmstadt

Juristische Zitierweise (Stüber) (Deutsch)

Richter, David/ Mezini, Mira/ Ostermann, Klaus, Functional DSL Compilers with Leightweight Proofs, Darmstadt 2025.

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