Mukherjee, R., Kroening, D., Melham, T., & Srivas, M. (2015). Equivalence checking using trace partitioning. IEEE.
Lua i Stíl Chicago (17ú heag.)Mukherjee, R., D. Kroening, T. Melham, agus M. Srivas. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Lua MLA (9ú heag.)Mukherjee, R., et al. Equivalence Checking Using Trace Partitioning. IEEE, 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.