ISO-690 (author-date, English)

BOLDO, Sylvie und MELQUIOND, Guillaume, 2021. Some Formal Tools for Computer Arithmetic: Flocq and Gappa. In: . 1 Juni 2021.

Elsevier - Harvard (with titles)

Boldo, S., Melquiond, G., 2021. Some Formal Tools for Computer Arithmetic: Flocq and Gappa, in: . https://doi.org/10.1109/ARITH51176.2021.00031

American Psychological Association 7th edition

Boldo, S., & Melquiond, G. (2021, Juni 1). Some Formal Tools for Computer Arithmetic: Flocq and Gappa. https://doi.org/10.1109/ARITH51176.2021.00031

Springer - Basic (author-date)

Boldo S, Melquiond G (2021) Some Formal Tools for Computer Arithmetic: Flocq and Gappa

Juristische Zitierweise (Stüber) (Deutsch)

Boldo, Sylvie/ Melquiond, Guillaume, Some Formal Tools for Computer Arithmetic: Flocq and Gappa, 2021, .

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