APA (7th ed.) մեջբերում

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

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

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

MLA (9րդ խմբ.) Մեջբերում

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

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.