FRANK, Mario, KREITZ, Christoph, LAMPRECHT, Anna-Lena und APPEL, Andrew W., 2024. On synthesising Linux kernel module components from Coq formalisations. Potsdam: Universität Potsdam.
Elsevier - Harvard (with titles)Frank, M., Kreitz, C., Lamprecht, A.-L., Appel, A.W., 2024. On synthesising Linux kernel module components from Coq formalisations. Universität Potsdam, Potsdam. https://doi.org/10.25932/publishup-64255
American Psychological Association 7th editionFrank, M., Kreitz, C., Lamprecht, A.-L., & Appel, A. W. (ca. 2024). On synthesising Linux kernel module components from Coq formalisations [Universität Potsdam; Cd]. https://doi.org/10.25932/publishup-64255
Springer - Basic (author-date)Frank M, Kreitz C, Lamprecht A-L, Appel AW (2024) On synthesising Linux kernel module components from Coq formalisations. Universität Potsdam
Juristische Zitierweise (Stüber) (Deutsch)Frank, Mario/ Kreitz, Christoph/ Lamprecht, Anna-Lena/ Appel, Andrew W., On synthesising Linux kernel module components from Coq formalisations, Potsdam 2024.