ISO-690 (author-date, English)

WICKERSON, John Peter, 2013. Concurrent verification for sequential programs [online]. University of Cambridge, 2013. Available from: https://ethos.bl.uk/Order Details.do?uin=uk.bl.ethos.648403

Elsevier - Harvard (with titles)

Wickerson, J.P., 2013. Concurrent verification for sequential programs. University of Cambridge, 2013. https://doi.org/10.17863/CAM.11791

American Psychological Association 7th edition

Wickerson, J. P. (2013). Concurrent verification for sequential programs. University of Cambridge, 2013. https://doi.org/10.17863/CAM.11791

Springer - Basic (author-date)

Wickerson JP (2013) Concurrent verification for sequential programs. University of Cambridge, 2013

Juristische Zitierweise (Stüber) (Deutsch)

Wickerson, John Peter, Concurrent verification for sequential programs, 2013.

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