JUNYAN QIAN und BAOWEN XU, 2007. Formal Verification for C Program. Informatica. 1 Juni 2007. Vol. 18, no. 2, p. 289-304. DOI 10.15388 nformatica.2007.178.
Elsevier - Harvard (with titles)Junyan Qian, Baowen Xu, 2007. Formal Verification for C Program. Informatica 18, 289-304. https://doi.org/10.15388 nformatica.2007.178
American Psychological Association 7th editionJunyan Qian, & Baowen Xu. (2007). Formal Verification for C Program. Informatica, 18(2), 289-304. https://doi.org/10.15388 nformatica.2007.178
Springer - Basic (author-date)Junyan Qian, Baowen Xu (2007) Formal Verification for C Program.. Informatica 18:289-304. https://doi.org/10.15388 nformatica.2007.178
Juristische Zitierweise (Stüber) (Deutsch)Junyan Qian/ Baowen Xu, Formal Verification for C Program., Informatica 2007, 289-304.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.