Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रMukherjee, R., D. Kroening, T. Melham, और M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
एमएलए (9वां संस्करण) प्रशस्ति पत्रMukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.