ISO-690 (author-date, English)

CHIARABINI, Luca, 2009. Program development by proof transformation.

Elsevier - Harvard (with titles)

Chiarabini, L., 2009. Program development by proof transformation. https://doi.org/urn:nbn:de:bvb:19-110644

American Psychological Association 7th edition

Chiarabini, L. (ca. 2009). Program development by proof transformation [Cd]. https://doi.org/urn:nbn:de:bvb:19-110644

Springer - Basic (author-date)

Chiarabini L (2009) Program development by proof transformation

Juristische Zitierweise (Stüber) (Deutsch)

Chiarabini, Luca, Program development by proof transformation, 2009.

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