ISO-690 (author-date, English)

KALVALA, SARA, WARBURTON, RICHARD und LACEY, DAVID, 2009. Program Transformations Using Temporal Logic Side Conditions. ACM Transactions on Programming Languages & Systems. 1 Mai 2009. Vol. 31, no. 4, p. 14:1-61. DOI 10.1145/1516507.1516509.

Elsevier - Harvard (with titles)

KALVALA, S., WARBURTON, R., LACEY, D., 2009. Program Transformations Using Temporal Logic Side Conditions. ACM Transactions on Programming Languages & Systems 31, 14:1-61. https://doi.org/10.1145/1516507.1516509

American Psychological Association 7th edition

KALVALA, S., WARBURTON, R., & LACEY, D. (2009). Program Transformations Using Temporal Logic Side Conditions. ACM Transactions on Programming Languages & Systems, 31(4), 14:1-61. https://doi.org/10.1145/1516507.1516509

Springer - Basic (author-date)

KALVALA S, WARBURTON R, LACEY D (2009) Program Transformations Using Temporal Logic Side Conditions.. ACM Transactions on Programming Languages & Systems 31:14:1-61. https://doi.org/10.1145/1516507.1516509

Juristische Zitierweise (Stüber) (Deutsch)

KALVALA, SARA/ WARBURTON, RICHARD/ LACEY, DAVID, Program Transformations Using Temporal Logic Side Conditions., ACM Transactions on Programming Languages & Systems 2009, 14:1-61.

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