ISO-690 (author-date, English)

CAO, Qinxiang, BERINGER, Lennart, GRUETTER, Samuel, DODDS, Josiah und APPEL, Andrew W., 2018. VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs. Journal of Automated Reasoning. 1 Juni 2018. Vol. 61, no. 1-4, p. 367-422. DOI 10.1007/s10817-018-9457-5.

Elsevier - Harvard (with titles)

Cao, Q., Beringer, L., Gruetter, S., Dodds, J., Appel, A.W., 2018. VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs. Journal of Automated Reasoning 61, 367-422. https://doi.org/10.1007/s10817-018-9457-5

American Psychological Association 7th edition

Cao, Q., Beringer, L., Gruetter, S., Dodds, J., & Appel, A. W. (2018). VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs. Journal of Automated Reasoning, 61(1-4), 367-422. https://doi.org/10.1007/s10817-018-9457-5

Springer - Basic (author-date)

Cao Q, Beringer L, Gruetter S, Dodds J, Appel AW (2018) VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs.. Journal of Automated Reasoning 61:367-422. https://doi.org/10.1007/s10817-018-9457-5

Juristische Zitierweise (Stüber) (Deutsch)

Cao, Qinxiang/ Beringer, Lennart/ Gruetter, Samuel/ Dodds, Josiah/ Appel, Andrew W., VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs., Journal of Automated Reasoning 2018, 367-422.

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