Cytowanie według stylu APA (wyd. 7)

Schrammel, P., & Jeannet, B. (2011). Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer.

Cytowanie według stylu Chicago (wyd. 17)

Schrammel, P., i B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.

Cytowanie według stylu MLA (wyd. 9)

Schrammel, P., i B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.

Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..