APA aipamena

Groce, A., Kroening, D., & Lerda, F. (2004). Understanding Counterexamples with explain.

Chicago Style aipamena

Groce, A., D. Kroening, and F. Lerda. Understanding Counterexamples with Explain. 2004.

MLA aipamena

Groce, A., et al. Understanding Counterexamples with Explain. 2004.