Schrammel, P., & Jeannet, B. (2011). Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer.
Lua i Stíl Chicago (17ú heag.)Schrammel, P., agus B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.
Lua MLA (9ú heag.)Schrammel, P., agus B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.