Madhukar, K., Wachter, B., Kroening, D., Lewis, M., Srivas, M., & Kaivola, R. (2016). Accelerating invariant generation. IEEE.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रMadhukar, K., B. Wachter, D. Kroening, M. Lewis, M. Srivas, और R. Kaivola. Accelerating Invariant Generation. IEEE, 2016.
एमएलए (9वां संस्करण) प्रशस्ति पत्रMadhukar, K., et al. Accelerating Invariant Generation. IEEE, 2016.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.