Schrammel, P., & Jeannet, B. (2011). Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer.
Chicago-referens (17:e uppl.)Schrammel, P., och B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.
MLA-referens (9:e uppl.)Schrammel, P., och B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.