Schrammel, P., & Jeannet, B. (2011). Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रSchrammel, P., और B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.
एमएलए (9वां संस्करण) प्रशस्ति पत्रSchrammel, P., और B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.