ISO-690 (author-date, English)

SCHAIRER, Axel, 2006. Transformations of specifications and proofs to support an evolutionary formal software development.

Elsevier - Harvard (with titles)

Schairer, A., 2006. Transformations of specifications and proofs to support an evolutionary formal software development. https://doi.org/urn:nbn:de:bsz:291-scidok-6659

American Psychological Association 7th edition

Schairer, A. (ca. 2006). Transformations of specifications and proofs to support an evolutionary formal software development [Cd]. https://doi.org/urn:nbn:de:bsz:291-scidok-6659

Springer - Basic (author-date)

Schairer A (2006) Transformations of specifications and proofs to support an evolutionary formal software development

Juristische Zitierweise (Stüber) (Deutsch)

Schairer, Axel, Transformations of specifications and proofs to support an evolutionary formal software development, 2006.

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