Groce, A., Kroening, D., & Lerda, F. (2004). Understanding Counterexamples with explain.
Chicago-Zitierstil (17. Ausg.)Groce, A., D. Kroening, und F. Lerda. Understanding Counterexamples with Explain. 2004.
MLA-Zitierstil (9. Ausg.)Groce, A., et al. Understanding Counterexamples with Explain. 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.